Jonas Schöpf

Orcid: 0000-0001-5908-8519

According to our database1, Jonas Schöpf authored at least 9 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Confluence of Logically Constrained Rewrite Systems Revisited.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Equational Theories and Validity for Logically Constrained Term Rewriting.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

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

Confluence Criteria for Logically Constrained Rewrite Systems.
Proceedings of the Automated Deduction - CADE 29, 2023

2020
Certifying the Weighted Path Order (Invited Talk).
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2018
TTT2 with Termination Templates for Teaching.
CoRR, 2018

A Formally Verified Solver for Homogeneous Linear Diophantine Equations.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017
Homogeneous Linear Diophantine Equations.
Arch. Formal Proofs, 2017


  Loading...