 |
Generalized Model-Checking Problems for First-Order Logic
| Book Series | Lecture Notes in Computer Science |
| Publisher | Springer Berlin / Heidelberg |
| ISSN | 0302-9743 (Print) 1611-3349 (Online) |
| Volume | Volume 2010/2001 |
| Book | STACS 2001 |
| DOI | 10.1007/3-540-44693-1 |
| Copyright | 2001 |
| ISBN | 978-3-540-41695-1 |
| DOI | 10.1007/3-540-44693-1_2 |
| Pages | 12-26 |
| Subject Collection | Computer Science |
| SpringerLink Date | Monday, January 01, 2001 |
| |
|