Publications in 2024

Linear Termination is Undecidable
Fabian Mitterwallner, Aart Middeldorp, René Thiemann
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), ACM  pp. 57:1-57:12, 2024.

Equational Theories and Validity for Logically Constrained Term Rewriting
Takahito Aoto, Naoki Nishida, Jonas Schöpf
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Leibniz International Proceedings in Informatics (LIPIcs) 299, pp. 31:1-31:21, 2024.

Confluence of Logically Constrained Rewrite Systems Revisited
Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp
Proceedings of the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Lecture Notes in Artificial Intelligence 14740, pp. 298-316, 2024.