Travelled to:1 × Belgium
1 × Canada
1 × Croatia
1 × Denmark
1 × Germany
1 × Italy
1 × Japan
1 × Spain
2 × France
2 × United Kingdom
3 × USA
Collaborated with:J.A.Bergstra ∅ N.Dershowitz J.Jouannaud J.Endrullis D.Hendriks R.Kennaway M.R.Sleep F.d.Vries Z.M.Ariola C.Grabmayer I.Bethke R.C.d.Vrijer F.S.d.Boer C.Palamidessi Y.Toyama H.P.Barendregt J.C.M.Baeten J.W.d.Bakker J.C.Meyer L.S.Moss V.v.Oostrom
Talks about:rewrit (11) algebra (6) term (6) system (4) process (3) problem (3) infinitari (2) orthogon (2) specif (2) recurs (2)
Person: Jan Willem Klop
DBLP: Klop:Jan_Willem
Contributed to:
20122010
20101998199619951994199319921991
199019891987198419831982Wrote 19 papers:
- LICS-2012-GrabmayerEHKM #automation #sequence
- Automatic Sequences and Zip-Specifications (CG, JE, DH, JWK, LSM), pp. 335–344.
- LICS-2012-Klop #term rewriting #λ-calculus
- Term Rewriting and λ Calculus (JWK), p. 12.
- LICS-2010-EndrullisHK #combinator #composition #fixpoint
- Modular Construction of Fixed Point Combinators and Clocked Bohm Trees (JE, DH, JWK), pp. 111–119.
- RTA-2010-EndrullisGHKO #normalisation #orthogonal
- Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting (JE, CG, DH, JWK, VvO), pp. 85–102.
- RTA-1998-Klop #term rewriting
- Origin Tracking in Term Rewriting (JWK), p. 1.
- LICS-1996-BethkeKV #algebra #combinator #normalisation
- Completing Partial Combinatory Algebras With Unique Head-Normal Forms (IB, JWK, RCdV), pp. 448–454.
- RTA-1995-DershowitzJK #problem
- Problems in Rewriting III (ND, JPJ, JWK), pp. 457–471.
- RTA-1995-KennawayKSV #modelling #λ-calculus
- Infinitary λ Calculi and Böhm Models (RK, JWK, MRS, FJdV), pp. 257–270.
- LICS-1994-AriolaK #graph grammar
- Cyclic λ Graph Rewriting (ZMA, JWK), pp. 416–425.
- RTA-1993-DershowitzJK #problem
- More Problems in Rewriting (ND, JPJ, JWK), pp. 468–487.
- LICS-1992-BoerKP #algebra #communication #process
- Asynchronous Communication in Process Algebra (FSdB, JWK, CP), pp. 137–147.
- RTA-1991-DershowitzJK #problem
- Open Problems in Rewriting (ND, JPJ, JWK), pp. 445–456.
- RTA-1991-KennawayKSV #orthogonal #reduction #term rewriting
- Transfinite Reductions in Orthogonal Term Rewriting Systems (RK, JWK, MRS, FJdV), pp. 1–12.
- ICALP-1990-Klop #term rewriting
- Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond (JWK), pp. 350–369.
- RTA-1989-ToyamaKB #linear #term rewriting #termination
- Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft- (YT, JWK, HPB), pp. 477–491.
- RTA-1987-BaetenBK #term rewriting
- Term Rewriting Systems with Priorities (JCMB, JAB, JWK), pp. 83–94.
- ICALP-1984-BergstraK #algebra #process #recursion
- The Algebra of Recursively Defined Processes and the Algebra of Regular Processes (JAB, JWK), pp. 82–94.
- ICALP-1983-BakkerBKM #branch #linear #recursion #semantics
- Linear Time and Branching Time Semantics for Recursion with Merge (JWdB, JAB, JWK, JJCM), pp. 39–51.
- ICALP-1982-BergstraK #algebra #data type #parametricity #specification
- Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.