Coinductive Counting With Weighted Automata (2002)

Cached

Download Links

by J. J. M. M. Rutten
Citations:4 - 0 self

Documents Related by Co-Citation

1083 Introduction to Lattices and Order – DP90 B A Davey, H A Priestley - 1990
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
230 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
229 Domain Theory in Logical Form – Samson Abramsky - 1991
203 Non-well-founded sets – P Aczel - 1988
156 The theory of representations for Boolean algebras – M H Stone - 1936
135 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
120 A domain equation for bisimulation – S Abramsky - 1991