Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
1999 | Hybrid Languages Universität des Saarlandes | Tzakova1999 | |||||
1999 | Tableau Calculi for Hybrid Logics In: Proceedings of the International Conference TABLEAUX'99 - Automated Reasoning with Analytic Tableaux and Related Methods, 278-292 | Tzakova99b | |||||
| |||||||
| |||||||
|