Completeness for flat modal fixpoint logics
| Authors |
|
|---|---|
| Publication date | 2007 |
| Host editors |
|
| Book title | Logic for Programming, Artificial Intelligence, and Reasoning |
| Book subtitle | 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | Logic for programming, artificial intelligence, and reasoning: 14th international conference, LPAR 2007 |
| Pages (from-to) | 499-513 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Document type | Conference contribution |
| Note | Extended abstract |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-540-75560-9_36
(Final published version)
|
| Permalink to this page | |