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
- DOI: 10.1016/j.apal.2022.103120
- RWTH PUBLICATIONS: RWTH-2022-10022