Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(17)
Freek Wiedijk
6
Pierre Corbineau
4
James Mckinna
2
Herman Geuvers
2
Christian Urban
2
Conferences
(7)
Mathematical Knowledge Management
2
ICWE
1
AISC
1
SAC
1
Types for Proofs and Programs
1
Journals
(4)
CORR
1
ENTCS
1
ACM Sigsam Bulletin
1
ASTRON ASTROPHYS
1
Keywords
(34)
Embed
Subscribe
Academic
Authors
Cezary Kaliszyk
Cezary Kaliszyk,Radboud University Nijmegen,Algorithms & Theory,Scientific Computing,World Wide Web
Edit
Cezary Kaliszyk
Radboud University Nijmegen
Publications:
16
|
Citations:
32
Fields:
Algorithms & Theory
,
Scientific Computing
,
World Wide Web
View FAQ about top research areas and Fields of study
Collaborated with
17 co-authors
from 2004 to 2011
|
Cited by
47 authors
Cumulative
Annual
Sort by:
Publications
(16)
BibTeX
|
RIS
|
RefWorks
Download
Quotients revisited for Isabelle/HOL
(
Citations: 2
)
Cezary Kaliszyk
,
Christian Urban
Conference:
ACM Symposium on Applied Computing - SAC
, pp. 1639-1644, 2011
General Bindings and Alpha-Equivalence in Nominal Isabelle
Christian Urban
,
Cezary Kaliszyk
Conference:
European Symposium on Programming - ESOP
, pp. 480-500, 2011
CTP-based programming languages?: considerations about an experimental design
Florian Haftmann
,
Cezary Kaliszyk
,
Walther Neuper
Journal:
ACM Sigsam Bulletin
, vol. 44, no. 1/2, pp. 27-41, 2010
Teaching logic using a state-of-the-art proof assistant
(
Citations: 3
)
Cezary Kaliszyk
,
Freek Wiedijk
Published in 2008.
Deduction using the ProofWeb system
(
Citations: 1
)
Cezary Kaliszyk
,
Femke van Raamsdonk
,
Freek Wiedijk
,
Hanno Wupper
,
Maxim Hendriks
,
Roel de Vrijer
Journal:
Astronomy & Astrophysics - ASTRON ASTROPHYS
, 2008
Sort by:
Citations
(32 times by 28 publications)
Logicamente: A Virtual Learning Environment for Logic based on Learning Objects
Patrick Terrematte
,
Fabr'icio Costa
,
Joao Marcos (João Marcos)
Published in 2011.
General Bindings and Alpha-Equivalence in Nominal Isabelle
Christian Urban
,
Cezary Kaliszyk
Conference:
European Symposium on Programming - ESOP
, pp. 480-500, 2011
Proviola: A Tool for Proof Reanimation
(
Citations: 2
)
Carst Tankink
,
Herman Geuvers
,
James McKinna
,
Freek Wiedijk
Conference:
Artificial Intelligence and Symbolic Computation - AISC
, pp. 440-454, 2010
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
(
Citations: 2
)
Josef Urban
,
Geoff Sutcliffe
Conference:
Artificial Intelligence and Symbolic Computation - AISC
, pp. 132-146, 2010
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
(
Citations: 1
)
Josef Urban
,
Jesse Alama
,
Piotr Rudnicki
,
Herman Geuvers
Conference:
Artificial Intelligence and Symbolic Computation - AISC
, pp. 455-469, 2010
Comments