Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "UITP@FLoC"( http://dblp.L3S.de/Venues/UITP@FLoC )

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

Publication years (Num. hits)
2006 (10) 2007 (1)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
UITP@FLoC(11)
Authors
Christoph Benzmüller(3) Serge Autexier(3) Anne Mulhern(1) Ben Liblit(1) Cezary Kaliszyk(1) Charles N. Fischer(1) Claudio Sacerdoti Coen(1) Daron Vroon 0001(1) Enrico Tassi(1) Geoff Sutcliffe(1) Grzegorz Bancerek(1) J Strother Moore(1) Josef Urban(1) Louise A. Dennis(1) Marc Wagner 0001(1) Panagiotis Manolios(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Serge Autexier, Christoph Benzmüller (eds.) Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006 Search on Bibsonomy UITP@FLoC The full citation details ... 2007 DBLP  BibTeX  RDF
1Pedro Quaresma, Predrag Janicic GeoThms - a Web System for Euclidean Constructive Geometry. Search on Bibsonomy UITP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Louise A. Dennis Enhancing Theorem Prover Interfaces with Program Slice Information. Search on Bibsonomy UITP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Josef Urban, Grzegorz Bancerek Presenting and Explaining Mizar. Search on Bibsonomy UITP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter C. Dillinger, Panagiotis Manolios, Daron Vroon 0001, J Strother Moore ACL2s: "The ACL2 Sedan". Search on Bibsonomy UITP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marc Wagner 0001, Serge Autexier, Christoph Benzmüller PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. Search on Bibsonomy UITP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli Tinycals: Step by Step Tacticals. Search on Bibsonomy UITP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk Web Interfaces for Proof Assistants. Search on Bibsonomy UITP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Anne Mulhern, Charles N. Fischer, Ben Liblit Tool Support for Proof Engineering. Search on Bibsonomy UITP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Steven Trac, Yury Puzis, Geoff Sutcliffe An Interactive Derivation Viewer. Search on Bibsonomy UITP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Serge Autexier, Christoph Benzmüller Preface. Search on Bibsonomy UITP@FLoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (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