Complexity of existential positive first-order logic
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 753-760 |
Seitenumfang | 8 |
Fachzeitschrift | Journal of logic and computation |
Jahrgang | 23 |
Ausgabenummer | 4 |
Publikationsstatus | Veröffentlicht - 2013 |
Peer-Review-Status | Ja |
Extern publiziert | Ja |
Externe IDs
Scopus | 84880560602 |
---|---|
ORCID | /0000-0001-8228-3611/work/142241156 |