Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Cezary Kaliszyk" ( http://dblp.L3S.de/Authors/Cezary_Kaliszyk )

  Author page on DBLP  Author page in RDF  Community of Cezary Kaliszyk in ASPL-2

Publication years (Num. hits)
2004 (1) 2007 (3) 2008 (4) 2010 (1) 2011 (4)
Publication types (Num. hits)
article(3) inproceedings(10)
Venues (Conferences, Journals, ...)
Calculemus/MKM(3) AISC/MKM/Calculemus(1) CoRR(1) CPP(1) Electr. Notes Theor. Comput. S...(1) ESOP(1) Formalized Mathematics(1) ICWE(1) SAC(1) SemWiki(1) TYPES(1)
Authors
Cezary Kaliszyk(13) Freek Wiedijk(3) Christian Urban(2) Pierre Corbineau(2) Grzegorz Andruszkiewicz(1) Henk Barendregt(1) Herman Geuvers(1) James McKinna(1) Krzysztof Ciebiera(1) Marcin Gozdalik(1) Mateusz Srebrny(1) Russell O'Connor(1) Tetsuo Ida(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Cezary Kaliszyk, Henk Barendregt Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem. Search on Bibsonomy CPP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Tetsuo Ida Proof Assistant Decision Procedures for Formalizing Origami. Search on Bibsonomy Calculemus/MKM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Christian Urban Quotients revisited for Isabelle/HOL. Search on Bibsonomy SAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Urban, Cezary Kaliszyk General Bindings and Alpha-Equivalence in Nominal Isabelle. Search on Bibsonomy ESOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk Counting Derangements, Non Bijective Functions and the Birthday Problem. Search on Bibsonomy Formalized Mathematics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Russell O'Connor Computing with Classical Real Numbers Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, James McKinna, Herman Geuvers A Real Semantic Web for Mathematics Deserves a Real Semantics. Search on Bibsonomy SemWiki The full citation details ... 2008 DBLP  BibTeX  RDF
1Cezary Kaliszyk, Freek Wiedijk Merging Procedural and Declarative Proof. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk Automating Side Conditions in Formalized Partial Functions. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk Web Interfaces for Proof Assistants. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pierre Corbineau, Cezary Kaliszyk Cooperative Repositories for Formal Proofs. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Freek Wiedijk Certified Computer Algebra on Top of an Interactive Theorem Prover. Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Grzegorz Andruszkiewicz, Krzysztof Ciebiera, Marcin Gozdalik, Cezary Kaliszyk, Mateusz Srebrny SIE - Intelligent Web Proxy Framework. Search on Bibsonomy ICWE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.