Sciweavers

5510 search results - page 9 / 1102
» Mathematics
Sort
View
CALCO
2009
Springer
145views Mathematics» more  CALCO 2009»
15 years 4 months ago
Views on Behaviour Protocols and Their Semantic Foundation
Sebastian S. Bauer, Rolf Hennicker
CALCO
2009
Springer
122views Mathematics» more  CALCO 2009»
15 years 4 months ago
Conway Games, Coalgebraically
Furio Honsell, Marina Lenisa
CALCO
2009
Springer
128views Mathematics» more  CALCO 2009»
15 years 4 months ago
Circular Coinduction: A Proof Theoretical Foundation
Grigore Rosu, Dorel Lucanu