Login / Signup
Pierpaolo Calligaris
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Random Walk
Theorem Prover
Graph Structures
Directed Graph
Top Venues
CILC
</>
Publications
</>
Pierpaolo Calligaris
,
Eugenio G. Omodeo
,
Alexandru I. Tomescu
A Proof-checking Experiment on Representing Graphs as Membership Digraphs.
CILC
(2013)