Jonas Schöpf

17 papers A 1B 3C 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version).
CoRR
Takahito Aoto, Naoki Nishida, Jonas Schöpf
2025 — conf
Automated Analysis of Logically Constrained Rewrite Systems using crest.
TACAS (1)
Jonas Schöpf, Aart Middeldorp
2025 J jnl
Automated Analysis of Logically Constrained Rewrite Systems using crest.
CoRR
Jonas Schöpf, Aart Middeldorp
2025 J jnl
Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version).
CoRR
Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto
2025 C conf
Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms.
LOPSTR
Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto
2025 J jnl
Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version).
CoRR
Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto
2025 C conf
Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations.
PPDP
Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto
2024 — conf
Confluence of Logically Constrained Rewrite Systems Revisited.
IJCAR (2)
Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp
2024 J jnl
Confluence of Logically Constrained Rewrite Systems Revisited.
CoRR
Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp
2024 J jnl
Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version).
CoRR
Takahito Aoto, Naoki Nishida, Jonas Schöpf
2024 B conf
Equational Theories and Validity for Logically Constrained Term Rewriting.
FSCD
Takahito Aoto, Naoki Nishida, Jonas Schöpf
2023 J jnl
Confluence Criteria for Logically Constrained Rewrite Systems (Full Version).
CoRR
Jonas Schöpf, Aart Middeldorp
2023 A conf
Confluence Criteria for Logically Constrained Rewrite Systems.
CADE
Jonas Schöpf, Aart Middeldorp
2020 B conf
Certifying the Weighted Path Order (Invited Talk).
FSCD
René Thiemann, Jonas Schöpf, Christian Sternagel, Akihisa Yamada
2018 B conf
A Formally Verified Solver for Homogeneous Linear Diophantine Equations.
ITP
Florian Meßner, Julian Parsert, Jonas Schöpf, Christian Sternagel
2018 J jnl
TTT2 with Termination Templates for Teaching.
CoRR
Jonas Schöpf, Christian Sternagel
2017 J jnl
Homogeneous Linear Diophantine Equations.
Arch. Formal Proofs
Florian Messner, Julian Parsert, Jonas Schöpf, Christian Sternagel