Jonas Schöpf

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

Collaborative distances:

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

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

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