Searching for authors named Jaco van de Pol – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
Operational Semantics of Term Rewriting with Priorities
- …Operational Semantics of Term Rewriting with Priorities Jaco van de Pol Utrecht University, Dept…
- Cited by 2 (0 self) – Add To MetaCart
-
State Space Reduction by Proving Confluence (Extended Abstract)
- …State Space Reduction by Proving Con uence (Extended Abstract) Stefan Blom Jaco van de Pol CWI…
- Add To MetaCart
-
Verifying Replication on a Distributed Shared Data Space with Time Stamps
- …;2 and Jaco van de Pol 1 1 CWI, Amsterdam, The Netherlands 2 KUN, Nijmegen, The Netherlands Email: hooman…
- Add To MetaCart
-
Formal Verification of Replication on a Distributed Data Space Architecture
- … and/or a fee. SAC 2002, Madrid, Spain Copyright 2002 ACM 1-58113-445-2/02/03 ...$5.00. Jaco van de Pol…
- Add To MetaCart
-
Simulation as a correct transformation of rewrite systems
- … Department of Computer Science Singleton Park, Swansea SA2 8PP, Wales e-mail: w.j.fokkink@(email omitted); Jaco van…
- Cited by 4 (4 self) – Add To MetaCart
-
Operational Semantics of Rewriting with Priorities
- …Operational Semantics of Rewriting with Priorities Jaco van de Pol E-mail: jaco…
- Add To MetaCart
-
Modularity in Many-sorted Term Rewriting Systems
- …Modularity in Many-sorted Term Rewriting Systems Jaco van de Pol Januar 1993 Abstract Many…
- Cited by 1 (0 self) – Add To MetaCart
-
Termination Proofs for Higher-order Rewrite Systems
- …Termination Proofs for Higher-order Rewrite Systems Jaco van de Pol Department of Philosophy…
- Cited by 13 (0 self) – Add To MetaCart
-
A Calculus for Sequential Logic with 4 Values
- …A Calculus for Sequential Logic with 4 Values Jan A. Bergstra 1;2 Jaco van de Pol 2 1…
- Add To MetaCart
-
Generalizing DPLL and satisfiability for equalities
- …���Generalizing DPLL and Satisfiability for Equalities Bahareh Badban 4 , Jaco van de Pol 1,2 , Olga…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
