W.J. Fokkink
4 titels in de boekenbase · Auteur · 1994–1995
Over W.J. Fokkink
W.J. Fokkink staat met 4 titels in de boekenbase als auteur. Bekend van de series ‘ILLC dissertation series’ en ‘Logic group preprint series’. Het werk valt vooral onder non-fictie informatief/professioneel algemeen en informatica algemeen. Verschenen tussen 1994 en 1995 bij Universiteit Utrecht en UVA Bibl. Betawetenschappen.
Serie: Logic group preprint series →
A complete axiomatization for prefix iteration in branching bisimulation
W.J. Fokkink
A complete axiomatization for prefix iteration in branching bisimulation
W.J. Fokkink
Paperback · 1995
A conservative look at term deduction systems with variable binding
W.J. Fokkink
A conservative look at term deduction systems with variable binding
W.J. Fokkink
Paperback · 1995
On the completeness of the equations for the Kleene star in bisimulation
W.J. Fokkink
On the completeness of the equations for the Kleene star in bisimulation
W.J. Fokkink
Paperback · 1995