Vol-1067⫷ Vol-1068 ⫸Vol-1069
urn:nbn:de:0074-1068-0


None⫷None⫸None
Pierpaolo CalligarisAlexandru I. TomescuEugenio G. Omodeo

A Proof-checking Experiment on Representing Graphs as Membership Digraphs