Jonas Schöpf

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 10

Top Topics

Rewrite Systems

Top Venues

Arch. Formal Proofs

Publications

Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp
Confluence of Logically Constrained Rewrite Systems Revisited. CoRR (2024)
Jonas Schöpf, Fabian Mitterwallner, Aart Middeldorp
Confluence of Logically Constrained Rewrite Systems Revisited. IJCAR (2) (2024)
Takahito Aoto, Naoki Nishida, Jonas Schöpf
Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version). CoRR (2024)
Takahito Aoto, Naoki Nishida, Jonas Schöpf
Equational Theories and Validity for Logically Constrained Term Rewriting. FSCD (2024)
Jonas Schöpf, Aart Middeldorp
Confluence Criteria for Logically Constrained Rewrite Systems (Full Version). CoRR (2023)
Jonas Schöpf, Aart Middeldorp
Confluence Criteria for Logically Constrained Rewrite Systems. CADE (2023)
René Thiemann, Jonas Schöpf, Christian Sternagel, Akihisa Yamada
Certifying the Weighted Path Order (Invited Talk). FSCD (2020)
Jonas Schöpf, Christian Sternagel
TTT2 with Termination Templates for Teaching. CoRR (2018)
Florian Meßner, Julian Parsert, Jonas Schöpf, Christian Sternagel
A Formally Verified Solver for Homogeneous Linear Diophantine Equations. ITP (2018)
Florian Messner, Julian Parsert, Jonas Schöpf, Christian Sternagel
Homogeneous Linear Diophantine Equations. Arch. Formal Proofs 2017 (2017)