BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Klop:Jan_Willem

Contributed to:

LICS 20122012
LICS 20102010
RTA 20102010
RTA 19981998
LICS 19961996
RTA 19951995
LICS 19941994
RTA 19931993
LICS 19921992
RTA 19911991
ICALP 19901990
RTA 19891989
RTA 19871987
ICALP 19841984
ICALP 19831983
ICALP 19821982

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.