Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Cigdem Gencer"'
Publikováno v:
Logic Journal of the IGPL
Logic Journal of the IGPL, Oxford University Press (OUP), 2019, 27 (1), pp.8-32. ⟨10.1093/jigpal/jzy016⟩
Logic Journal of the IGPL, Oxford University Press (OUP), 2019, 27 (1), pp.8-32. ⟨10.1093/jigpal/jzy016⟩
Contact Logics provide a natural framework for representing and reasoning about regions in several areas of computer science. In this paper, we focus our attention on reasoning methods for Contact Logics and address the satisfiability problem and the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::75a60b832b36d12821cc946c5b69cb8d
https://hal.archives-ouvertes.fr/hal-02378372
https://hal.archives-ouvertes.fr/hal-02378372
