Výsledky vyhledávání

Autor: Zantema, H., König, B., Bruggink, H.J.S., Dowek, G.

Publikováno v: Lecture Notes in Computer Science ; 8560, 476-490. Berlin : Springer International Publishing
STARTPAGE=476;ENDPAGE=490;TITLE=Lecture Notes in Computer Science ; 8560
Dowek, G. (ed.), Rewriting and Typed Lambda Calculi, pp. 476-490
Lecture Notes in Computer Science ISBN: 9783319089171
RTA-TLCA
Rewriting and Typed Lambda Calculi (Joint International Conference, RTA-TLCA 2014, Vienna, Austria, July 14-17, 2014. Proceedings), 476-490
STARTPAGE=476;ENDPAGE=490;TITLE=Rewriting and Typed Lambda Calculi (Joint International Conference, RTA-TLCA 2014, Vienna, Austria, July 14-17, 2014. Proceedings)

String rewriting can not only be applied on strings, but also on cycles and even on general graphs. In this paper we investigate termination of string rewriting applied on cycles, shortly denoted as cycle rewriting, which is a strictly stronger requi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc0e1d9cee9619398d3ce421edc2bf2a
https://research.tue.nl/en/publications/1b659323-a5bf-402d-ac11-6976caa2d808

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Modular properties of algebraic type systems

Autor: Barthe, G., Geuvers, J.H., Dowek, G., Heering, J., Meinke, K., Möller, B.

Publikováno v: Higher-Order Algebra, Logic and Term Rewritting (HOA'95, Paderborn, Germany, September 21-22, 1995, Selected Papers), 37-56
STARTPAGE=37;ENDPAGE=56;TITLE=Higher-Order Algebra, Logic and Term Rewritting (HOA'95, Paderborn, Germany, September 21-22, 1995, Selected Papers)
Higher-Order Algebra, Logic, and Term Rewriting, 1074, 37-56
Higher-Order Algebra, Logic, and Term Rewriting ISBN: 9783540612544
HOA
Higher-Order Algebra, Logic, and Term Rewriting, 1074, pp. 37-56

We introduce the framework of algebraic type systems, a generalisation of pure type systems with higher order rewriting a la Jouannaud-Okada, and initiate a generic study of the modular properties of these systems. We give a general criterion for one

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be5c29df0d653282719b052401ed3c8a
https://doi.org/10.1007/3-540-61254-8_18

Zobrazit plný text záznamu

Individual Reuse in Description Logic Reasoning

Autor: Motik, B, Horrocks, I, Armando, A, Baumgartner, P, Dowek, G

Publikováno v: IJCAR. 5195

Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowledge bases (KBs), mainly because they end up building very large models. To addr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::1956c9bbae4d23d7d6d7117b0bb416e0
http://ora.ox.ac.uk/objects/uuid:9ff63c22-b864-4e65-b5e8-fa48100ec611

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání