Jonas Schöpf

According to our database, Jonas Schöpf authored at least 15 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version).

Takahito Aoto, Naoki Nishida, Jonas Schöpf

CoRR, January, 2026

2025

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version).

Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto

CoRR, July, 2025

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version).

Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto

CoRR, May, 2025

Automated Analysis of Logically Constrained Rewrite Systems using crest.

Jonas Schöpf, Aart Middeldorp

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations.

Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms.

Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto

Proceedings of the Logic-Based Program Synthesis and Transformation, 2025

2024

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version).

Takahito Aoto, Naoki Nishida, Jonas Schöpf

CoRR, 2024

Confluence of Logically Constrained Rewrite Systems Revisited.

Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp

Proceedings of the Automated Reasoning - 12th International Joint Conference, 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, 2024

2023

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version).

Jonas Schöpf, Aart Middeldorp

CoRR, 2023

Confluence Criteria for Logically Constrained Rewrite Systems.

Jonas Schöpf, Aart Middeldorp

Proceedings of the Automated Deduction - CADE 29, 2023

2020

Certifying the Weighted Path Order (Invited Talk).

René Thiemann, Jonas Schöpf, Christian Sternagel, Akihisa Yamada

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2018

TTT2 with Termination Templates for Teaching.

Jonas Schöpf, Christian Sternagel

CoRR, 2018

A Formally Verified Solver for Homogeneous Linear Diophantine Equations.

Florian Meßner, Julian Parsert, Jonas Schöpf, Christian Sternagel

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Homogeneous Linear Diophantine Equations.

Florian Messner, Julian Parsert, Jonas Schöpf, Christian Sternagel

Arch. Formal Proofs, 2017