Fields of Logic and Computation
Book title Buchtitel
Fields of Logic and Computation
Editor Herausgeber_in
Publisher Herausgeber
Springer LNCS
Place of publishing Erscheinungsort
Heidelberg (LNCS 6300)
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas ; Gottlob, Georg ; Schwentick, Thomas ; Blass, Andreas ; Dershowitz, Nachum ; Reisig, Wolfgang | The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey | Buchbeitrag Book Contribution  | 2010 |