Introduction to Bisimulation and Coinduction
from $114.42
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
from $79.95
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (CSLI Lecture Notes)
from $3.91
Predicate Answer Set Programming with Coinduction: Coinductive SLDNF and its applcation to Predicate Answer Set Programming
$89.00
from $85.00
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science) (2011-10-13)
$242.18
from $186.88
La nature de la monnaie en droit: lecture modale de sa définition par coinduction (French Edition)
from $8.26
Warm Coinduction
from $1.29
International Compendium of Numerical Data Projects: A Survey and Analysis
from $98.93
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science, 5728)
$54.99
from $51.96
More results from Amazon »