Elements of Finite Model Theory / Leonid Libkin

• Autore: Libkin, Leonid
• Pubblicazione: Berlin ; Heidelberg, : Springer, 2004
• Descrizione fisica: xiv, 318 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03C13 - Model theory of finite structures [MSC 2020]; 68-XX - Computer science [MSC 2020]; 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]; 68Q19 - Descriptive complexity and finite models [MSC 2020]
• Soggetto non controllato: Algorithm analysis and problem complexity; Automata; Complexity; Complexity theory; Formal language; Logic; Model theory; Variable
• Titolo autorizzato: Elements of Finite Model Theory
• ISBN: 978-35-402-1202-7
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00283787
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: /sebina/repository/catalogazione/documenti/Elements of finite model theory.pdf
• Serie: Texts in theoretical computer science. An EATCS Series Berlin [etc.] . -Springer , 1996-