Author:
Kutz Oliver,Mossakowski Till,Lücke Dominik
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference185 articles.
1. Adámek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Wiley, New York (1990). Available at http://www.math.uni-bremen.de/dmb/acc.pdf
2. Alagić, S., Bernstein, P.A.: A Model Theory for Generic Schema Management. In: Proc. of DBPL-01, LNCS, vol. 2397, pp. 228–246. Springer, Berlin (2002)
3. Artale A., Franconi E.: A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30(1–4), 171–210 (2000)
4. Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalising tractable description logics. In: Proc. of the 14th Int. Symposium on Temporal Representation and Reasoning (TIME) Washington, DC, USA, IEEE, pp. 11–22 (2007)
5. Astesiano E., Kreowski H.-J., Krieg-Brückner B.: Algebraic Foundations of Systems Specification. Springer, Berlin (1999)
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献