Klop, Jan Willem (1945-)

A complete inference system for regular processes with silent moves / J.A. Bergstra, J.W. Klopschema:ProductModel A convergence theorem in process algebra / J.A. Bergstra, J.W. Klopschema:ProductModel A formalized proof system for total correctness of while programs / J.A. Bergstra & J.W. Klopschema:ProductModel A note on some abstract confluence criteria / M. Bognar, J.W. Klopschema:ProductModel A process algebra for the operational semantics of static data flow networks / J.A. Bergstra & J.W. Klopschema:ProductModel A proof rule for restoring logic circuits / J.A. Bergstra & J.W. Klopschema:ProductModel A simplified proof of Toyama's theorem / J.W. Klop ... [et al.]schema:ProductModel A simplified proof of Toyama's theorem / J.W. Klop ... [et al.]schema:ProductModel ACPt : a universal axiom system for process specification / J.A. Bergstra, J.W. Klopschema:ProductModel Algebra of communicating processes / J.A. Bergstra, J.W. Klopschema:ProductModel Algebra of communicating processes with abstraction / J.A. Bergstra, J.W. Klopschema:ProductModel Algebraic specifications for parametrized data types with minimal parameter and target algebras / J.A. Bergstra & J.W. Klopschema:ProductModel Algebraic tools for system construction / J.A. Bergstra, J.W. Klop & J.V. Tuckerschema:ProductModel An abstraction mechanism for process algebras / J.A. Bergstra, J.W. Klopschema:ProductModel An algebraic specification method for processes over a finite action set / J.A. Bergstra, J.W. Klopschema:ProductModel An analysis of loop checking mechanisms for logic programs / R.N. Bol, K.R. Apt, J.W. Klopschema:ProductModel An operational semantics for process algebra / J.C.M. Baeten, J.A. Bergstra, J.W. Klopschema:ProductModel Asynchronous communication in process algebra : (extended abstract) / F.S. de Boer, J.W. Klop, C. Palamidessischema:ProductModel Asynchronous communication in process algebra : extended abstract / by F.S. de Boer, J.W. Klop, C. Palamidessischema:ProductModel Bisimilarity in term graph rewriting / Z.M. Ariola, J.W. Klop, D. Plumpschema:ProductModel ... show all 74

A geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de Vrijerschema:ProductModel A geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de Vrijerschema:ProductModel A geometric proof of confluence by decreasing diagrams / Jan Willem Klop, Vincent van Oostrom, Roel de Vrijerschema:ProductModel ACPt: a universal axiom system for proces specification / [by] J. W. Klop [and] J. A. Bergstraschema:ProductModel An introduction to Knuth-Bendix completion / J.W. Klop, A. Middeldorpschema:ProductModel Combinatory reduction systems / [by] Jan Willem Klopschema:ProductModel Combinatory reduction systems / J.W. Klopschema:ProductModel Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van Raamsdonkschema:ProductModel Combinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van Raamsdonkschema:ProductModel Extended term rewriting systems / J.W. Klop, R.C. de Vrijerschema:ProductModel Extended term rewriting systems / Jan Willem Klop, Roel de Vrijerschema:ProductModel J. W. de Bakker, 25 jaar semantiek : liber amicorum t.g.v. het 25-jarig dienstverband met het Mathematisch Centrum, Amsterdam, april 1989 / samengest. door J.W. Klop, J.-J.Ch. Meijer, J.J.M.M. Rutten; verz. door F. Snijders ... [et al.]schema:ProductModel Lower bounds for a class of Kostka numbers / J.W. Klop, E. Kranakisschema:ProductModel Sequentiality in orthogonal term rewriting systems / J.W. Klop, A. Middeldorpschema:ProductModel Strongly sequential term rewriting systems / J.W. Klop, A. Middeldorpschema:ProductModel Strongly sequential term rewriting systems / Jan Willem Klop, Aart Middeldorpschema:ProductModel Term rewriting systems / J.W. Klopschema:ProductModel Term rewriting systems : a tutorial / Jan Willem Klopschema:ProductModel Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond / J.W. Klopschema:ProductModel Term rewriting systems: a tutorial / [by] J. W. Klopschema:ProductModel ... show all 22