Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Jump to: 2001

Number of items: 1.

2001

Lutz, C. and Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2001) Tableaux for temporal description logic with constant domains. In: Gore, R. and Leitsch, A. and Nipkow, T. (eds.) IJCAR: Automated Reasoning, First International Joint Conference. Lecture Notes in Computer Science 2083. Springer, pp. 121-136. ISBN 9783540422549.

This list was generated on Thu Mar 13 03:30:08 2025 GMT.

Export as	Atom RSS