ereprof. dr. Albert Hoogewijs
Show
Sort by
-
Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic
-
A pvs-proof for a memory modeling problem is a proof?
-
Automated reasoning with ordinary assertions and default assumptions
-
A PVS-Proof for a Memory Modeling Problem is a Proof!
-
Teach you Robot an LL(1)-Jargon
-
The non-definedness notion in expert systems
-
Tableaux for PPC
-
Semantic tableaux in LPF and the adequacy theorem
-
Tableaux in automated theorem proving : Isabelle and PPC
-
Shared memory synchronization