Zoekresultaten
Resultaat 1 - 3 (van 3)
W.J. Fokkink | H. Zantema Termination modulo equations by abstract commutation with an application to iteration
Non-fictie
Engels | 17 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
W.J. Fokkink | H. Zantema A complete equational axiomatization for BPAde with prefix iteration
Non-fictie
Engels | 5 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1995
Gedrukt boek
W.J. Fokkink | H. Zantema Basic process algebra with iteration
completeness of its equational axioms
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek