The Separation Theorem for Differential Interaction Nets

2007

Damiano Mazza, Michele Pagani

in Lecture Notes in Artificial Intelligence

BibTeX

@inproceedings{MazzaPagani:DiffNetSep,
	author = {Mazza, Damiano and Pagani, Michele},
	title = {The Separation Theorem for Differential Interaction Nets},
	series = {Lecture Notes in Artificial Intelligence},
	year= {2007},
}