Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Fokkink, W.J.
Volume
Title
167
An Axiomatization for the Terminal Cycle
Fokkink, W.J.
164
Correct Transformation of Rewrite Systems for Implementation Purposes
Fokkink, W.J.
|
Pol, J.C. van de
155
A logic for signal inserted timed frames
Bergstra, J.A.
|
Fokkink, W.J.
|
Middelburg, K.
153
Termination modulo equations by abstract commutation with an application to iteration
Fokkink, W.J.
|
Zantema, Hans
148
Algebra of timed frames
Bergstra, J.A.
|
Fokkink, W.J.
|
Middelburg, C.A.
141
On the Completeness of the Equations for the Kleene Star in Bisimulation
Fokkink, W.J.
140
A Conservative Look at Term Deduction Systems with Variable Binding
Fokkink, W.J.
|
Verhoef, C.
135
Safety Criteria for Hoorn-Kersenboogerd Railway Station
Fokkink, W.J.
126
A Complete Axiomatization for Prefix Iteration in Branching Bisimulation
Fokkink, W.J.
Online