Browse by Person
Up a levelFuhs, Carsten and Guo, L. and Kop, C. (2025) An Innermost DP Framework for Constrained Higher-Order Rewriting. In: Fernández, M. (ed.) Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025). Leibniz International Proceedings in Informatics. Dagstuhl Publishing, 20:1-20:24.
Hovland, D. and Kontchakov, Roman and Skjæveland, M. and Waaler, A. and Zakharyaschev, Michael (2017) Ontology-based data access to Slegge. In: D'Amato, C. and Fernández, M. and Tamma, V. and Lecue, F. and Cudré-Mauroux, P. and Sequeda, J. and Lange, C. and Heflin, J. (eds.) The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings. Lecture Notes in Computer Science 2 10588. Springer, pp. 120-129. ISBN 9783319682037.