The Separation Theorem for Differential Interaction Nets

2007

Damiano Mazza, Michele Pagani

in Lecture Notes in Artificial Intelligence
BibTeX