3 results
A note on recursive functions†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 6 / Issue 2 / April 1996
- Published online by Cambridge University Press:
- 04 March 2009, pp. 127-139
-
- Article
- Export citation
Minimisation and minimal realisation in Span(Graph)
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 5 / October 2004
- Published online by Cambridge University Press:
- 23 September 2004, pp. 685-714
-
- Article
- Export citation
Feedback, trace and fixed-point semantics
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 36 / Issue 2 / April 2002
- Published online by Cambridge University Press:
- 15 December 2002, pp. 181-194
- Print publication:
- April 2002
-
- Article
- Export citation