Operational Semantics for Fixed−Point Logics on Constraint Databases
S. Kreutzer
Details
| Book Title |
Proceedings of the 8th International Conference on Logic for Programming‚ Artificial Intelligence and Reasoning (LPAR) |
| Pages |
470 – 484 |
| Publisher |
Springer |
| Series |
Lecture Notes in Artificial Intelligence (LNAI) |
| Volume |
2250 |
| Year |
2001 |
Links
Related pages
|
People |