The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PxTP"( http://dblp.L3S.de/Venues/PxTP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/pxtp

Publication years (Num. hits)
2011 (8) 2012 (8) 2017 (7) 2019 (6) 2021 (7)
Publication types (Num. hits)
inproceedings(31) proceedings(5)
Venues (Conferences, Journals, ...)
PxTP(36)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 36 publication records. Showing 36 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, Pascal Fontaine Alethe: Towards a Generic SMT Proof Format (extended abstract). Search on Bibsonomy PxTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Quentin Garchery A Framework for Proof-carrying Logical Transformations. Search on Bibsonomy PxTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nicolas Magaud Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant. Search on Bibsonomy PxTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Valentin Blot, Louise Dubois de Prisque, Chantal Keller, Pierre Vial General Automation in Coq through Modular Transformations. Search on Bibsonomy PxTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Chantal Keller, Mathias Fleury (eds.) Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021. Search on Bibsonomy PxTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Maria Paola Bonacina Proof Generation in CDSAT. Search on Bibsonomy PxTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Stephan Gocht, Jakob Nordström, Ruben Martins Certifying CNF Encodings of Pseudo-Boolean Constraints (abstract). Search on Bibsonomy PxTP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Fadil Kallat, Tristan Schäfer, Anna Vasileva CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories. Search on Bibsonomy PxTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giselle Reis, Haniel Barbosa (eds.) Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019. Search on Bibsonomy PxTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eunice Palmeira da Silva, Fred Freitas, Jens Otten Converting ALC Connection Proofs into ALC Sequents. Search on Bibsonomy PxTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mathias Fleury, Hans-Jörg Schurr Reconstructing veriT Proofs in Isabelle/HOL. Search on Bibsonomy PxTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohamed Yacine El Haddad, Guillaume Burel, Frédéric Blanqui EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract). Search on Bibsonomy PxTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark W. Barrett, Cesare Tinelli Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract). Search on Bibsonomy PxTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine Language and Proofs for Higher-Order SMT (Work in Progress). Search on Bibsonomy PxTP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilles Dowek Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems. Search on Bibsonomy PxTP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Catherine Dubois, Bruno Woltzenlogel Paleo (eds.) Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017. Search on Bibsonomy PxTP The full citation details ... 2017 DBLP  BibTeX  RDF
1Robert Y. Lewis An Extensible Ad Hoc Interface between Lean and Mathematica. Search on Bibsonomy PxTP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomer Libal, Xaviera Steele Determinism in the Certification of UNSAT Proofs. Search on Bibsonomy PxTP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dennis Müller 0001, Colin Rothgang, Yufei Liu, Florian Rabe 0001 Alignment-based Translations Across Formal Systems Using Interface Theories. Search on Bibsonomy PxTP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Silvio Ghilardi, Elena Pagani Counter Simulations via Higher Order Quantifier Elimination: a preliminary report. Search on Bibsonomy PxTP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Frédéric Besson, Pierre-Emmanuel Cornilleau, Ronan Saillard Walking through the Forest: Fast EUF Proof-Checking Algorithms. Search on Bibsonomy PxTP The full citation details ... 2012 DBLP  BibTeX  RDF
1Mathieu Boespflug, Guillaume Burel CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo. Search on Bibsonomy PxTP The full citation details ... 2012 DBLP  BibTeX  RDF
1Mathieu Boespflug, Quentin Carbonneaux, Olivier Hermant The λΠ-calculus Modulo as a Universal Proof Language. Search on Bibsonomy PxTP The full citation details ... 2012 DBLP  BibTeX  RDF
1Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller 0001, Bruno Woltzenlogel Paleo System Feature Description: Importing Refutations into the GAPT Framework. Search on Bibsonomy PxTP The full citation details ... 2012 DBLP  BibTeX  RDF
1Aaron Stump, Andrew Reynolds 0001, Cesare Tinelli, Austin Laugesen, Harley Eades III, Corey Oliver, Ruoyu Zhang LFSC for SMT Proofs: Work in Progress. Search on Bibsonomy PxTP The full citation details ... 2012 DBLP  BibTeX  RDF
1Stephan Merz Proofs and Proof Certification in the TLA+ Proof System. Search on Bibsonomy PxTP The full citation details ... 2012 DBLP  BibTeX  RDF
1Robert L. Constable Proof Assistants and the Dynamic Nature of Formal Theories. Search on Bibsonomy PxTP The full citation details ... 2012 DBLP  BibTeX  RDF
1David Pichardie, Tjark Weber (eds.) Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012 Search on Bibsonomy PxTP The full citation details ... 2012 DBLP  BibTeX  RDF
1Sascha Böhme, Tjark Weber Designing Proof Formats: A User's Perspective. Search on Bibsonomy PxTP The full citation details ... 2011 DBLP  BibTeX  RDF
1Pascal Fontaine, Aaron Stump (eds.) PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011 Search on Bibsonomy PxTP The full citation details ... 2011 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Cynthia Chang, Deborah L. McGuinness, Timothy Lebo, Li Ding 0001, Paulo Pinheiro da Silva Combining Proofs to form Different Proofs. Search on Bibsonomy PxTP The full citation details ... 2011 DBLP  BibTeX  RDF
1Stephan Merz, Hernán Vanzetto Towards certification of TLA+ proof obligations with SMT solvers. Search on Bibsonomy PxTP The full citation details ... 2011 DBLP  BibTeX  RDF
1Piotr Rudnicki, Josef Urban Escape to ATP for Mizar. Search on Bibsonomy PxTP The full citation details ... 2011 DBLP  BibTeX  RDF
1David Déharbe, Pascal Fontaine, Bruno Woltzenlogel Paleo Quantifier Inference Rules for SMT proofs. Search on Bibsonomy PxTP The full citation details ... 2011 DBLP  BibTeX  RDF
1Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie A Nelson-Oppen based Proof System using Theory Specific Proof Systems. Search on Bibsonomy PxTP The full citation details ... 2011 DBLP  BibTeX  RDF
1Frédéric Besson, Pascal Fontaine, Laurent Théry A Flexible Proof Format for SMT: a Proposal. Search on Bibsonomy PxTP The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #36 of 36 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license