Heinz-Dieter Ebbinghaus : Finite model theory
€84.00
In stock
Only %1 left
SKU
P-FINI-3134E9
Heinz-Dieter Ebbinghausin teos esittelee kuvailevan kompleksisuusteorian keskeisiä tuloksia, erityisesti äärellisten rakenteiden aksiomatisoitavuuden ja laskennallisen monimutkaisuuden välisiä yhteyksiä. Teoksessa perehdytään muun muassa kiintopistelogiikoihin, transitiivisen sulun logiikkoihin sekä DATALOG-kieliin.
| Categories | |
|---|---|
| Author | Heinz-Dieter Ebbinghaus |
| Coauthors | Jörg Flum |
| Title | Finite model theory |
| SKU | P-FINI-3134E9 |