Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
1996 | Translating Graded Modalities into Predicate Logic In: Proof Theory of Modal Logic, 253-291 | OhlbachSchmidtHustadt96 | |||||
1995 | Symbolic Arithmetical Reasoning with Qualified Number Restrictions In: Proceedings of International Workshop on Description Logics'95, 89-95 | OhlbachSchmidtHustadt95b | |||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
|