| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss |
Automatic Sequences and Zip-Specifications  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom |
On equal μ-terms. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piet Rodenburg, Jan Willem Klop, Karst Koymans, Jos L. M. Vrancken |
The free process algebra generated by δ, ϵ and τ. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
Productivity of stream definitions. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop |
Modular Construction of Fixed Point Combinators and Clocked Boehm Trees |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom |
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop |
Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Henk Barendregt, Jan Willem Klop |
Applications of infinitary lambda calculus. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop |
Let's Make a Difference! |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop |
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer |
Lambda calculus with patterns. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer |
Proving Infinitary Normalization. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
Productivity of Stream Definitions. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk |
Reduction Strategies and Acyclicity. |
Rewriting, Computation and Proof |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer, Jan Willem Klop, Bas Luttik |
Reflections on a Geometry of Processes. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Grabmayer, Jan Willem Klop, Bas Luttik |
Some Remarks on Definability of Process Graphs. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer |
Iterative Lexicographic Path Orders. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom |
Vicious Circles in Orthogonal Term Rewriting Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Roel C. de Vrijer |
Infinitary Normalization. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Zena M. Ariola, Jan Willem Klop, Detlef Plump |
Bisimilarity in Term Graph Rewriting. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Inge Bethke, Jan Willem Klop, Roel C. de Vrijer |
Descendants and Origins in Term Rewriting. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fairouz Kamareddine, Jan Willem Klop |
Editorial. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer |
A geometric proof of confluence by decreasing diagrams. |
J. Log. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Inge Bethke, Jan Willem Klop, Roel C. de Vrijer |
Extending partial combinatory algebras. |
Mathematical Structures in Computer Science |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem, Jan Willem Klop, Vincent van Oostrom |
Diagram Techniques for Confluence. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop |
Origin Tracking in Term Rewriting (Abstract). |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries |
Infinitary Lambda Calculus. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Zena M. Ariola, Jan Willem Klop |
Lambda Calculus with Explicit Recursion. |
Inf. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Zena M. Ariola, Jan Willem Klop, Detlef Plump |
Confluent rewriting of bisimilar term graphs. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries |
Comparing Curried and Uncurried Rewriting. |
J. Symb. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Zena M. Ariola, Jan Willem Klop |
Equational Term Graph Rewriting. |
Fundam. Inform. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Inge Bethke, Jan Willem Klop, Roel C. de Vrijer |
Completing Partial Combinatory Algebras With Unique Head-Normal Forms. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries |
Transfinite Reductions in Orthogonal Term Rewriting Systems |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt |
Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
left-linearity, term-rewriting systems, confluence |
| 1 | Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries |
Infinitary Lambda Calculi and Böhm Models. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop |
Problems in Rewriting III. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop |
Term Graph Rewriting. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Inge Bethke, Jan Willem Klop |
Collapsing Partial Combinatory Algebras. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Aart Middeldorp, Yoshihito Toyama, Roel C. de Vrijer |
Modularity of Confluence: A Simplified Proof. |
Inf. Process. Lett. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries |
On the Adequacy of Graph Rewriting for Simulating Term Rewriting. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
orthogonal term rewriting, functional programming, graph rewriting |
| 1 | Zena M. Ariola, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries |
Syntactic Definitions of Undefined: On Defining the Undefined. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Zena M. Ariola, Jan Willem Klop |
Cyclic Lambda Graph Rewriting |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk |
Combinatory Reduction Systems: Introduction and Survey. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop |
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
bisimulation semantics, simple context-free languages, process algebra, context-free grammars |
| 1 | Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop |
More Problems in Rewriting. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi |
Asynchronous Communication in Process Algebra |
LICS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop |
An Analysis of Loop Checking Mechanisms for Logic Programs. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Aart Middeldorp |
Sequentiality in Orthogonal Term Rewriting Systems. |
J. Symb. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop |
Open Problems in Rewriting. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries |
Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). |
RTA |
1991 |
DBLP DOI BibTeX RDF |
orthogonal term rewriting systems, infinitary rewriting, strong converging reductions, infinite Church-Rosser Properties, Böhm Trees, head normal forms, non-unifiable term rewriting systems, normal forms |
| 1 | Jos C. M. Baeten, Jan Willem Klop (eds.) |
CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings |
CONCUR |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jan Willem Klop |
Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop |
On the Power of Subsumption and Context Checks. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Roel C. de Vrijer |
Extended Term Rewriting Systems. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop, W. P. Weijland |
Term-Rewriting Systems with Rule Priorities. |
Theor. Comput. Sci. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop, Roel C. de Vrijer |
Unique Normal Forms for Lambda Calculus with Surjective Pairing |
Inf. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop |
On the Safe Termination of PROLOG Programs. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt |
Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft-. |
RTA |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog |
Readies and Failures in the Algebra of Communicating Processes. |
SIAM J. Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
Process theory based on bisimulation semantics. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop |
On the Consistency of Koomen's Fair Abstraction Rule. |
Theor. Comput. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep |
Needed Reduction and Spine Strategies for the Lambda Calculus |
Inf. Comput. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop |
Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator. |
Comput. J. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop |
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages. |
PARLE |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop |
Term Rewriting Systems with Priorities. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
ACTtau: A Universal Axiom System for Process Specification. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
1982 CR Categories F.1.2, F.4.3, D.3.3, F.3.2 |
| 1 | Jan A. Bergstra, Jan Willem Klop |
Conditional Rewrite Rules: Confluence and Termination. |
J. Comput. Syst. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
Algebra of Communicating Processes with Abstraction. |
Theor. Comput. Sci. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
Verification of an alternating bit protocol by means of process algebra. |
Mathematical Methods of Specification and Synthesis of Software Systems |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
Proving Program Inclusion Using Hoare's Logic. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer |
Linear Time and Branching Time Semantics for Recursion with Merge. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
Process Algebra for Synchronous Communication |
Information and Control |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop, J. V. Tucker |
Process Algebra with Asynchronous Communication Mechanisms. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes. |
ICALP |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
Initial Algebra Specifications for Parametrized Data Types. |
Elektronische Informationsverarbeitung und Kybernetik |
1983 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop, J. V. Tucker |
Algebraic Tools for System Construction. |
Logic of Programs |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer |
Linear Time and Branching Time Semantics for Recursion with Merge. |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
Strong Normalization and Perpetual Reductions in the Lambda Calculus. |
Elektronische Informationsverarbeitung und Kybernetik |
1982 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
A formalized proof system for total correctness of while programs. |
Symposium on Programming |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer |
Correctness of Programs with Function Procedures. |
Logic of Programs |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
Invertible Terms in the Lambda Calculus. |
Theor. Comput. Sci. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Willem Klop |
Combinatory reduction systems. |
|
1980 |
RDF |
|
| 1 | Jan A. Bergstra, Jan Willem Klop |
Church-Rosser Strategies in the Lambda Calculus. |
Theor. Comput. Sci. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Henk Barendregt, Jan A. Bergstra, Jan Willem Klop, Henri Volken |
Degrees of Sensible Lambda Theories. |
J. Symb. Log. |
1978 |
DBLP BibTeX RDF |
|
| 1 | Jan Willem Klop |
On solvability by lambda I - terms. |
Lambda-Calculus and Computer Science Theory |
1975 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")