Mathematical Foundations of Computer Science 2005 (Q5492882)
From MaRDI portal
scientific article; zbMATH DE number 5065409
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mathematical Foundations of Computer Science 2005 |
scientific article; zbMATH DE number 5065409 |
Statements
Mathematical Foundations of Computer Science 2005 (English)
0 references
20 October 2006
0 references
reasoning about knowledge
0 references
modal and hybrid logic
0 references
topological reasoning
0 references
knowledge and algebras
0 references
decidability
0 references
