Complexity of existential positive first-order logic

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

  • Manuel Bodirsky - , Ecole Polytechnique (Autor:in)
  • Miki Hermann - (Autor:in)
  • Florian Richoux - (Autor:in)

Details

OriginalspracheEnglisch
Seiten (von - bis)753-760
Seitenumfang8
Fachzeitschrift Journal of logic and computation
Jahrgang23
Ausgabenummer4
PublikationsstatusVeröffentlicht - 2013
Peer-Review-StatusJa
Extern publiziertJa

Externe IDs

Scopus 84880560602
ORCID /0000-0001-8228-3611/work/142241156

Schlagworte

Bibliotheksschlagworte