Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Home
Index
Authors
Pol, J.C. van de
Volume
Title
164
Correct Transformation of Rewrite Systems for Implementation Purposes
Fokkink, W.J.
|
Pol, J.C. van de
162
Operational semantics of term rewriting with priorities
Pol, J.C. van de
160
A calculus for sequential logic with 4 values
Bergstra, J.A.
|
Pol, J.C. van de
100
A Bounded Retransmission Protocol for Large Data Packets: A Case Study in Computer Checked Algebraic Verification
Groote, J.F.
|
Pol, J.C. van de
93
Proving termination of Higher-Order Rewrite Systems
Pol, J.C. van de
