Direct resolution for modal-like logics

Autor: Areces, C., Heguiabehere, J.

Publikováno v: Proceedings of the 3rd International Workshop on the Implementation of Logics

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4d4b25c448167563d33511697602a57b
https://dare.uva.nl/personal/pure/en/publications/direct-resolution-for-modallike-logics(b7816f23-8887-4346-8544-24e554bf6775).html

HyLoRes: Direct Resolution for Hybrid Logics

Autor: Areces, C., Heguiabehere, J.

Publikováno v: Lecture Notes in Computer Science, 156-160. Springer Verlag
STARTPAGE=156;ENDPAGE=160;ISSN=0302-9743;TITLE=Lecture Notes in Computer Science

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a851f2b67a899e3b3e853fc37a8f8d76
https://inria.hal.science/inria-00000321

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

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