Login / Signup
Julianna Zsido
Publication Activity (10 Years)
Years Active: 2010-2014
Publications (10 Years): 0
Top Topics
Theorem Prover
High Level
Digital Topology
Von Neumann
Top Venues
CoRR
J. Autom. Reason.
</>
Publications
</>
Julianna Zsido
Theorem of Three Circles in Coq.
J. Autom. Reason.
53 (2) (2014)
Julianna Zsido
Theorem of three circles in Coq.
CoRR
(2013)
Benedikt Ahrens
,
Julianna Zsido
Initial Semantics for higher-order typed syntax in Coq.
J. Formaliz. Reason.
4 (1) (2011)
Benedikt Ahrens
,
Julianna Zsido
Initial Semantics for higher-order typed syntax
CoRR
(2010)