On the Presburger fragment of logics with multiteam semantics

Wilke, Richard Marlon (Corresponding author)

Amsterdam [u.a.] : Elsevier (2022)
Contribution to a book, Journal Article

In: Annals of pure and applied logic
Volume: 173
Issue: 10
Page(s)/Article-Nr.: 103120

Institutions

  • Department of Mathematics [110000]
  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]

Identifier