( en | de | ru )

 

Disambiguation of "Schurr, Hans-Jörg"

Author of the publication

copydeleteadd this publication to your clipboard
Alethe: Towards a Generic SMT Proof Format (extended abstract).

, , , and . PxTP, volume 336 of EPTCS, page 49-54. (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Michael Jörger

Heinz-Reinhard Jörgens

Klaus Jörg

Rainer Georg Jörgensen

Harald Jörg

 

Other publications of authors with the same name

Optimal Strategy Schedules for Everyone.. PAAR@IJCAR, volume 3201 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Reconstructing veriT Proofs in Isabelle/HOL., and . PxTP, volume 301 of EPTCS, page 36-50. (2019)Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant., , and . SMT, volume 2908 of CEUR Workshop Proceedings, page 64. CEUR-WS.org, (2021)Stronger SMT Solvers for Proof Assistants: Proofs, Quantifier Simplification, Strategy Schedules. (Consolidation des solveurs SMT pour les assistants de preuve: preuves, simplification des quantificateurs, planification de stratégies).. University of Lorraine, Nancy, France, (2022)Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant., , and . CADE, volume 12699 of Lecture Notes in Computer Science, page 450-467. Springer, (2021)Quantifier Simplification by Unification in SMT., and . FroCoS, volume 12941 of Lecture Notes in Computer Science, page 232-249. Springer, (2021)Alethe: Towards a Generic SMT Proof Format (extended abstract)., , , and . PxTP, volume 336 of EPTCS, page 49-54. (2021)