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

Research output: Preprint/Documentation/Report › Preprint

Contributors

  • Manuel Bodirsky - , Chair of Algebra and Discrete Structures (Author)
  • Marcin Kozik - , Jagiellonian University in Kraków (Author)
  • Florent R. Madelaine - , Université Paris-Est Créteil (Author)
  • Barnaby Martin - , Durham University (Author)
  • Michal Wrona - , Jagiellonian University in Kraków (Author)

Details

Original languageEnglish
Number of pages18
Publication statusPublished - 2024
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

External IDs

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

Keywords