Solving language equations and disequations with applications to disunification in description logics and monadic set constraints

Research output: Contribution to conferences › Paper › Contributed › peer-review

Contributors

Details

Original languageEnglish
Pages107-121
Number of pages15
Publication statusPublished - 2012
Peer-reviewedYes

Conference

TitleLogic for Programming, Artificial Intelligence, and Reasoning 2012
Abbreviated titleLPAR-18
Conference number18
Duration11 - 15 March 2012
Degree of recognitionInternational event
CityMerida
CountryVenezuela, Bolivarian Republic of

External IDs

Scopus 84858316724
ORCID /0000-0002-4049-221X/work/142247828

Keywords

Keywords

  • formal languages, description logics