Model-checking positive equality free logic on a fixed structure (direttissima)

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Beitragende

  • Manuel Bodirsky - , Professur für Algebra und Diskrete Strukturen (Autor:in)
  • Marcin Kozik - , Jagiellonian University in Kraków (Autor:in)
  • Florent R. Madelaine - , Université Paris-Est Créteil (Autor:in)
  • Barnaby Martin - , Durham University (Autor:in)
  • Michal Wrona - , Jagiellonian University in Kraków (Autor:in)

Details

OriginalspracheEnglisch
Seitenumfang18
PublikationsstatusVeröffentlicht - 2024
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Externe IDs

ORCID /0000-0001-8228-3611/work/187993424

Schlagworte