Term rewriting systems : a tutorial / Jan Willem KlopStrongly sequential term rewriting systems / Jan Willem Klop, Aart MiddeldorpUnique normal forms for Lambda calculus with surjective pairing / Jan Willem Klop, Roel de VrijerStrongly sequential term rewriting systems / J.W. Klop, A. MiddeldorpAn introduction to Knuth-Bendix completion / J.W. Klop, A. MiddeldorpSequentiality in orthogonal term rewriting systems / J.W. Klop, A. MiddeldorpTerm rewriting systems: a tutorial / [by] J. W. KlopACPt: a universal axiom system for proces specification / [by] J. W. Klop [and] J. A. BergstraTerm rewriting systems from Church-Rosser to Knuth-Bendix and beyond / J.W. KlopTerm rewriting systems / J.W. KlopExtended term rewriting systems / Jan Willem Klop, Roel de VrijerJ. 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.]Extended term rewriting systems / J.W. Klop, R.C. de VrijerUnique normal forms for Lambda calculus with surjective pairing / Jan Willem Klop, Roel de VrijerCombinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van RaamsdonkCombinatory reduction systems : introduction and survey / J.W. Klop, V. van Oostrom, F. van RaamsdonkA geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de VrijerA geometric proof of confluence by decreasing diagrams / Jan Willem Klop, Vincent van Oostrom, Roel de VrijerA geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de VrijerCombinatory reduction systems / [by] Jan Willem KlopCombinatory reduction systems / J.W. KlopLower bounds for a class of Kostka numbers / J.W. Klop, E. Kranakis
author
Decidability of bisimulation equivalence for processes generating context-free languages / J.C.M. BaetenACPt : a universal axiom system for process specification / J.A. Bergstra, J.W. KlopSemi-complete termherschrijfsystemen / J.A. Bergstra, J.W. KlopA convergence theorem in process algebra / J.A. Bergstra, J.W. KlopReadies and failures in the algebra of communicating processes / J.A. Bergstra, J.W. Klop, E.-R. OlderogTermherschrijfsystemen / J.A. Bergstra, J.W. Klop, A. MiddeldorpOn the safe termination of PROLOG programs / K.R. Apt, R.N. Bol, J.W. KlopTermination for direct sums of left-linear complete term rewriting systems / Y. Toyama, J.W. Klop, H.P. BarendregtConditional rewrite rules: confluency and termination / [by] J. A. Bergstra and J. W. KlopCorrectness of programs with function procedures (extended abstract) / by J. W. de Bakker, J. W. Klop and J.-J. Ch. MeyerAn analysis of loop checking mechanisms for logic programs / R.N. Bol, K.R. Apt, J.W. KlopA simplified proof of Toyama's theorem / J.W. Klop ... [et al.]Open problems in rewriting / N. Dershowitz, J.-P. Jouannaud, J.W. KlopA simplified proof of Toyama's theorem / J.W. Klop ... [et al.]Asynchronous communication in process algebra : extended abstract / by F.S. de Boer, J.W. Klop, C. PalamidessiAsynchronous communication in process algebra : (extended abstract) / F.S. de Boer, J.W. Klop, C. PalamidessiProcess theory based on bisimulation semantics / J.A. Bergstra, J.W. KlopDecidability of bisimulation equivalence for processes generating context-free languages / J.C.M. Baeten, J.A. Bergstra, J.W. KlopMore problems in rewriting / N. Dershowitz, J.P. Jouannaud, J.W. KlopProblems in rewriting III / Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem KlopCollapsing partial combinatory algebras / I. Bethke, J.W. KlopCompleting partial combinatory algebras with unique head-normal forms / I. Bethke, J.W. Klop, R. de VrijerEquational term graph rewriting / Z.M. Ariola, J.W. KlopEquational term graph rewriting / Zena M. Ariola, Jan Willem KlopDiagram techniques for confluence / M. Bezem, J.W. Klop, V. van OostromA note on some abstract confluence criteria / M. Bognar, J.W. KlopDiagram techniques for confluence / M. Bezem, J.W. Klop, V. van OostromLambda calculus with explicit recursion / Z.M. Ariola, J.W. KlopLambda calculus with explicit recursion / Z.M. Ariola, J.W. KlopOrigin tracking in orthogonal term rewriting systems / I. Bethke, J.W. Klop, R. de VrijerExtending partial combinatory algebras / I. Bethke, J.W. Klop, R. de VrijerBisimilarity in term graph rewriting / Z.M. Ariola, J.W. Klop, D. PlumpDescendants and origins in term rewriting / I. Bethke, J.W. Klop, R. de VrijerExtending partial combinatory algebras / I. Bethke, J.W. Klop, R. de VrijerDescendants and origins in term rewriting / I. Bethke, J.W. Klop, R, de VrijerVicious circles in orthogonal term rewriting systems / J. Ketema, J.W. Klop, V. van OostromInfinitary normalization / J.W. Klop, R.C. de VrijerCorrectness of programs with function procedures [microvorm] / J.W. de Bakker, J.W.Klop, J.-J.Ch. MeyerA formalized proof system for total correctness of while programs / J.A. Bergstra & J.W. KlopProving program inclusion using Hoare's logic / J.A. Bergstra & J.W. Klop