Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Bezem, Marc
Volume
Title
286
Expressive power of digraph solvability
Bezem, Marc
|
Grabmayer, C.A.
|
Walicki, Michal
187
Clausification in Coq
Bezem, Marc
|
Hendriks, D.
166
Diagram Techniques for Confluence
Bezem, Marc
|
Klop, J.W.
|
Oostrom, V. van
163
Generalizing Hamming distance to finite sets
Bezem, Marc
|
Keijzer, M.
116
On the computational content of the Axiom of Choice
Berardi, S.
|
Bezem, Marc
|
Coquand, T.
113
Proving a graph well founded using resolution
Bezem, Marc
|
Groote, J.F.
99
A Correctness Proof of a One-bit Sliding Window Protocol in μCRL
Bezem, Marc
|
Groote, J.F.
98
Invariants in Process Algebra with Data
Bezem, Marc
|
Groote, J.F.
88
A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions
Bezem, Marc
|
Groote, J.F.
81
Bar recursion versus polymorphism
Barendsen, E.
|
Bezem, Marc
72
Ramsey’s theorem and the pigeonhole principle in intuitionistic mathematics
Bezem, Marc
|
Veldman, W.
69
Bar recursion versus polymorphism : extended abstract
Barendsen, E.
|
Bezem, Marc
68
Bar recursive encodings of tree ordinals
Bezem, Marc
|
Buchholz, W.
63
Strong Termination of Logic Programs
Bezem, Marc
Online