×

zbMATH — the first resource for mathematics

Klop, Jan Willem

Compute Distance To:
Author ID: klop.jan-willem Recent zbMATH articles by "Klop, Jan Willem"
Published as: Klop, J. W.; Klop, Jan W.; Klop, Jan Willem; Klop, Jan-Willem
Documents Indexed: 109 Publications since 1975, including 9 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

84 Publications have been cited 1,356 times in 897 Documents Cited by Year
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
179
1984
Algebra of communicating processes with abstraction. Zbl 0579.68016
Bergstra, J. A.; Klop, J. W.
121
1985
Combinatory reduction systems. Zbl 0466.03006
Klop, J. W.
114
1980
Terese. Term rewriting systems. Zbl 1030.68053
Bezem, Marc (ed.); Klop, Jan Willem (ed.); de Vrijer, Roel (ed.)
66
2003
Syntax and defining equations for an interrupt mechanism in process algebra. Zbl 0617.68027
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
52
1986
Combinatory reduction systems: Introduction and survey. Zbl 0796.03024
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
49
1993
Conditional rewrite rules: Confluence and termination. Zbl 0658.68031
Bergstra, J. A.; Klop, J. W.
47
1986
Transfinite reductions in orthogonal term rewriting systems. Zbl 0832.68063
Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
41
1995
On the consistency of Koomen’s fair abstraction rule. Zbl 0621.68010
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
39
1987
Infinitary lambda calculus. Zbl 0903.68105
Kennaway, J. R.; Klop, J. W.; Sleep, M. R.; de Vries, F. J.
34
1997
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0801.68102
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
34
1993
Term rewriting systems: A tutorial. Zbl 0666.68025
Klop, Jan Willem
30
1987
Equational term graph rewriting. Zbl 0854.68049
Ariola, Zena M.; Klop, Jan Willem
29
1996
The algebra of recursively defined processes and the algebra of regular processes. Zbl 0561.68019
Bergstra, J. A.; Klop, J. W.
27
1984
Termination for direct sums of left-linear complete term rewriting systems. Zbl 0885.68093
Toyama, Y.; Klop, J. W.; Barendregt, H. P.
23
1995
Process algebra: Specification and verification in bisimulation semantics. Zbl 0625.68023
Bergstra, J. A.; Klop, J. W.
21
1986
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0635.68014
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
19
1987
Algebra of communicating processes. Zbl 0605.68013
Bergstra, J. A.; Klop, J. W.
19
1986
Verification of an alternating bit protocol by means of process algebra. Zbl 0595.68024
Bergstra, J. A.; Klop, J. W.
19
1986
Term rewriting systems with priorities. Zbl 0657.68028
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
18
1987
Linear time and branching time semantics for recursion with merge. Zbl 0985.68517
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
17
1984
Sequentiality in orthogonal term rewriting systems. Zbl 0746.68047
Klop, Jan Willem; Middeldorp, Aart
16
1991
Term-rewriting systems with rule priorities. Zbl 0686.68018
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.; Weijland, W. P.
16
1989
A complete inference system for regular processes with silent moves. Zbl 0647.68033
Bergstra, J. A.; Klop, J. W.
15
1988
Algebraic specifications for parametrized data types with minimal parameter and target algebras. Zbl 0489.68016
Bergstra, J. A.; Klop, J. W.
15
1982
Lambda calculus with patterns. Zbl 1145.68012
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
13
2008
Productivity of stream definitions. Zbl 1135.68471
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Isihara, Ariya; Klop, Jan Willem
13
2007
Comparing curried and uncurried rewriting. Zbl 0847.68055
Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
13
1996
An analysis of loop checking mechanisms for logic programs. Zbl 0741.68027
Bol, Roland N.; Apt, Krzysztof R.; Klop, Jan Willem
13
1991
Representability in lambda algebras. Zbl 0399.03013
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
12
1976
Infinitary normalization. Zbl 1221.68110
Klop, Jan Willem; de Vrijer, Roel
11
2005
Lambda calculus with explicit recursion. Zbl 0892.68015
Ariola, Zena M.; Klop, Jan Willem
11
1997
Needed reduction and spine strategies for the lambda calculus. Zbl 0635.03009
Barendregt, H. P.; Kennaway, J. R.; Klop, J. W.; Sleep, M. R.
11
1987
Process theory based on bisimulation semantics. (Tutorial). Zbl 0683.68066
Bergstra, J. A.; Klop, J. W.
10
1989
Readies and failures in the algebra of communicating processes. Zbl 0677.68089
Bergstra, J. A.; Klop, J. W.; Olderog, E.-R.
10
1988
Degrees of streams. Zbl 1274.68157
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem
9
2011
Descendants and origins in term rewriting. Zbl 1046.68564
Bethke, Inge; Klop, Jan Willem; de Vrijer, Roel
9
2000
Term rewriting systems: From Church-Rosser to Knuth-Bendix and beyond. Zbl 0765.68008
Klop, Jan Willem
9
1990
Unique normal forms for lambda calculus with surjective pairing. Zbl 0667.03008
Klop, J. W.; de Vrijer, R. C.
9
1989
Modularity of confluence: A simplified proof. Zbl 0795.68111
Klop, Jan Willem; Middeldorp, Aart; Toyama, Yoshihito; de Vrijer, Roel
8
1994
Productivity of stream definitions. Zbl 1183.68162
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Isihara, Ariya; Klop, Jan Willem
7
2010
Process algebra with asynchronous communication mechanisms. Zbl 0579.68015
Bergstra, J. A.; Klop, J. W.; Tucker, J. V.
7
1985
Degrees of transducibility. Zbl 1330.68073
Endrullis, Jörg; Klop, Jan Willem; Saarela, Aleksi; Whiteland, Markus
6
2015
Applications of infinitary lambda calculus. Zbl 1167.03010
Barendregt, Henk; Klop, Jan Willem
6
2009
Bisimilarity in term graph rewriting. Zbl 1045.68590
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
6
2000
CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. Zbl 0746.68005
Baeten, J. C. M. (ed.); Klop, J. W. (ed.)
6
1990
Formal proof systems for program equivalence. Zbl 0512.68013
Bergstra, J. A.; Klop, J. W.
6
1983
Initial algebra specifications for parametrized data types. Zbl 0549.68012
Bergstra, J. A.; Klop, J. W.
6
1982
Strong normalization and perpetual reductions in the lambda calculus. Zbl 0523.03009
Bergstra, Jan A.; Klop, Jan Willem
6
1982
Automatic sequences and zip-specifications. Zbl 1361.68155
Grabmayer, Clemens; Endrullis, Jorg; Hendriks, Dimitri; Klop, Jan Willem; Moss, Lawrence S.
5
2012
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent
5
1998
Degrees of infinite words, polynomials and atoms. Zbl 1436.68170
Endrullis, Jörg; Karhumäki, Juhani; Klop, Jan Willem; Saarela, Aleksi
4
2016
Highlights in infinitary rewriting and lambda calculus. Zbl 1284.68323
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem
4
2012
Proving infinitary normalization. Zbl 1246.68135
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; de Vrijer, Roel
4
2009
Syntactic definitions of undefined: On defining the undefined. Zbl 0942.03511
Ariola, Zena; Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
4
1994
Discriminating lambda-terms using clocked Böhm trees. Zbl 1315.03025
Endrullis, Joerg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew
3
2014
De Bruijn’s weak diamond property revisited. Zbl 1360.68533
Endrullis, Jörg; Klop, Jan Willem
3
2013
On equal \(\mu \)-terms. Zbl 1227.68041
Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent
3
2011
Extending partial combinatory algebras. Zbl 0935.03074
Bethke, Inge; Klop, Jan Willem; de Vrijer, Roel
3
1999
Confluent rewriting of bisimilar term graphs. Zbl 0911.68090
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
3
1997
Collapsing partial combinatory algebras. Zbl 1434.03048
Bethke, Inge; Klop, Jan Willem
3
1996
Church-Rosser strategies in the lambda calculus. Zbl 0404.03015
Bergstra, Jan; Klop, Jan Willem
3
1979
Degrees of sensible lambda theories. Zbl 0408.03012
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
3
1978
Degrees of infinite words, polynomials and atoms. Zbl 1404.68068
Endrullis, Jörg; Karhumäki, Juhani; Klop, Jan Willem; Saarela, Aleksi
2
2018
Reduction strategies and acyclicity. Zbl 1186.68237
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
2
2007
Linear time and branching time semantics for recursion with merge. Zbl 0527.68011
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
2
1983
Linear time and branching time semantics for recursion with merge. Zbl 0517.68026
De Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
2
1983
Initial algebra specifications for parametrized data types. Zbl 0516.68019
Bergstra, Jan A.; Klop, Jan W.
2
1983
A formalized proof system for total correctness of WHILE programs. Zbl 0481.68029
Bergstra, J. A.; Klop, J. W.
2
1982
Algebraic specifications for parametrized data types with minimal parameter and target algebras. Zbl 0466.68019
Bergstra, J. A.; Klop, J. W.
2
1981
Invertible terms in the lambda calculus. Zbl 0446.03011
Bergstra, Jan; Klop, Jan Willem
2
1980
Clocked lambda calculus. Zbl 1387.03013
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew
1
2017
Unique normal forms in infinitary weakly orthogonal rewriting. Zbl 1236.68127
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent
1
2010
Iterative lexicographic path orders. Zbl 1132.68430
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
1
2006
Special issue: Type theory and term rewriting. A selection of papers presented at the first international school, Glasgow, Scotland, September 1996. Zbl 0953.00007
Kamareddine, Fairouz (ed.); Klop, Jan Willem (ed.)
1
2000
A geometric proof of confluence by decreasing diagrams. Zbl 0965.68034
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
1
2000
From finite to infinite lambda calculi. Zbl 0819.03007
Kennaway, Richard; Klop, Jan-Willem; Sleep, Ronan; de Vries, Fer-Jan
1
1995
An introduction to Knuth-Bendix completion. Zbl 0658.68030
Klop, Jan Willem; Middeldorp, Aart
1
1988
An operational semantics for process algebra. Zbl 0761.68054
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
1
1988
Proving program inclusion using Hoare’s logic. Zbl 0533.68011
Bergstra, J. A.; Klop, J. W.
1
1984
Correctness of programs with function procedures. (Extended abstract). Zbl 0481.68015
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1982
Initial algebra specifications for parametrized data types. Zbl 0474.68019
Bergstra, J. A.; Klop, J. W.
1
1981
A formalized proof system for total correctness of WHILE programs. Zbl 0466.68014
Bergstra, J. A.; Klop, J. W.
1
1981
Correctness of programs with function procedures. Zbl 0463.68021
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1981
Degrees of infinite words, polynomials and atoms. Zbl 1404.68068
Endrullis, Jörg; Karhumäki, Juhani; Klop, Jan Willem; Saarela, Aleksi
2
2018
Clocked lambda calculus. Zbl 1387.03013
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew
1
2017
Degrees of infinite words, polynomials and atoms. Zbl 1436.68170
Endrullis, Jörg; Karhumäki, Juhani; Klop, Jan Willem; Saarela, Aleksi
4
2016
Degrees of transducibility. Zbl 1330.68073
Endrullis, Jörg; Klop, Jan Willem; Saarela, Aleksi; Whiteland, Markus
6
2015
Discriminating lambda-terms using clocked Böhm trees. Zbl 1315.03025
Endrullis, Joerg; Hendriks, Dimitri; Klop, Jan Willem; Polonsky, Andrew
3
2014
De Bruijn’s weak diamond property revisited. Zbl 1360.68533
Endrullis, Jörg; Klop, Jan Willem
3
2013
Automatic sequences and zip-specifications. Zbl 1361.68155
Grabmayer, Clemens; Endrullis, Jorg; Hendriks, Dimitri; Klop, Jan Willem; Moss, Lawrence S.
5
2012
Highlights in infinitary rewriting and lambda calculus. Zbl 1284.68323
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem
4
2012
Degrees of streams. Zbl 1274.68157
Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem
9
2011
On equal \(\mu \)-terms. Zbl 1227.68041
Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent
3
2011
Productivity of stream definitions. Zbl 1183.68162
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Isihara, Ariya; Klop, Jan Willem
7
2010
Unique normal forms in infinitary weakly orthogonal rewriting. Zbl 1236.68127
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent
1
2010
Applications of infinitary lambda calculus. Zbl 1167.03010
Barendregt, Henk; Klop, Jan Willem
6
2009
Proving infinitary normalization. Zbl 1246.68135
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; de Vrijer, Roel
4
2009
Lambda calculus with patterns. Zbl 1145.68012
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
13
2008
Productivity of stream definitions. Zbl 1135.68471
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Isihara, Ariya; Klop, Jan Willem
13
2007
Reduction strategies and acyclicity. Zbl 1186.68237
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
2
2007
Iterative lexicographic path orders. Zbl 1132.68430
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
1
2006
Infinitary normalization. Zbl 1221.68110
Klop, Jan Willem; de Vrijer, Roel
11
2005
Terese. Term rewriting systems. Zbl 1030.68053
Bezem, Marc (ed.); Klop, Jan Willem (ed.); de Vrijer, Roel (ed.)
66
2003
Descendants and origins in term rewriting. Zbl 1046.68564
Bethke, Inge; Klop, Jan Willem; de Vrijer, Roel
9
2000
Bisimilarity in term graph rewriting. Zbl 1045.68590
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
6
2000
Special issue: Type theory and term rewriting. A selection of papers presented at the first international school, Glasgow, Scotland, September 1996. Zbl 0953.00007
Kamareddine, Fairouz (ed.); Klop, Jan Willem (ed.)
1
2000
A geometric proof of confluence by decreasing diagrams. Zbl 0965.68034
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel
1
2000
Extending partial combinatory algebras. Zbl 0935.03074
Bethke, Inge; Klop, Jan Willem; de Vrijer, Roel
3
1999
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent
5
1998
Infinitary lambda calculus. Zbl 0903.68105
Kennaway, J. R.; Klop, J. W.; Sleep, M. R.; de Vries, F. J.
34
1997
Lambda calculus with explicit recursion. Zbl 0892.68015
Ariola, Zena M.; Klop, Jan Willem
11
1997
Confluent rewriting of bisimilar term graphs. Zbl 0911.68090
Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef
3
1997
Equational term graph rewriting. Zbl 0854.68049
Ariola, Zena M.; Klop, Jan Willem
29
1996
Comparing curried and uncurried rewriting. Zbl 0847.68055
Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
13
1996
Collapsing partial combinatory algebras. Zbl 1434.03048
Bethke, Inge; Klop, Jan Willem
3
1996
Transfinite reductions in orthogonal term rewriting systems. Zbl 0832.68063
Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
41
1995
Termination for direct sums of left-linear complete term rewriting systems. Zbl 0885.68093
Toyama, Y.; Klop, J. W.; Barendregt, H. P.
23
1995
From finite to infinite lambda calculi. Zbl 0819.03007
Kennaway, Richard; Klop, Jan-Willem; Sleep, Ronan; de Vries, Fer-Jan
1
1995
Modularity of confluence: A simplified proof. Zbl 0795.68111
Klop, Jan Willem; Middeldorp, Aart; Toyama, Yoshihito; de Vrijer, Roel
8
1994
Syntactic definitions of undefined: On defining the undefined. Zbl 0942.03511
Ariola, Zena; Kennaway, Richard; Klop, Jan Willem; Sleep, Ronan; de Vries, Fer-Jan
4
1994
Combinatory reduction systems: Introduction and survey. Zbl 0796.03024
Klop, Jan Willem; van Oostrom, Vincent; van Raamsdonk, Femke
49
1993
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0801.68102
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
34
1993
Sequentiality in orthogonal term rewriting systems. Zbl 0746.68047
Klop, Jan Willem; Middeldorp, Aart
16
1991
An analysis of loop checking mechanisms for logic programs. Zbl 0741.68027
Bol, Roland N.; Apt, Krzysztof R.; Klop, Jan Willem
13
1991
Term rewriting systems: From Church-Rosser to Knuth-Bendix and beyond. Zbl 0765.68008
Klop, Jan Willem
9
1990
CONCUR ’90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings. Zbl 0746.68005
Baeten, J. C. M. (ed.); Klop, J. W. (ed.)
6
1990
Term-rewriting systems with rule priorities. Zbl 0686.68018
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.; Weijland, W. P.
16
1989
Process theory based on bisimulation semantics. (Tutorial). Zbl 0683.68066
Bergstra, J. A.; Klop, J. W.
10
1989
Unique normal forms for lambda calculus with surjective pairing. Zbl 0667.03008
Klop, J. W.; de Vrijer, R. C.
9
1989
A complete inference system for regular processes with silent moves. Zbl 0647.68033
Bergstra, J. A.; Klop, J. W.
15
1988
Readies and failures in the algebra of communicating processes. Zbl 0677.68089
Bergstra, J. A.; Klop, J. W.; Olderog, E.-R.
10
1988
An introduction to Knuth-Bendix completion. Zbl 0658.68030
Klop, Jan Willem; Middeldorp, Aart
1
1988
An operational semantics for process algebra. Zbl 0761.68054
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
1
1988
On the consistency of Koomen’s fair abstraction rule. Zbl 0621.68010
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
39
1987
Term rewriting systems: A tutorial. Zbl 0666.68025
Klop, Jan Willem
30
1987
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0635.68014
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
19
1987
Term rewriting systems with priorities. Zbl 0657.68028
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
18
1987
Needed reduction and spine strategies for the lambda calculus. Zbl 0635.03009
Barendregt, H. P.; Kennaway, J. R.; Klop, J. W.; Sleep, M. R.
11
1987
Syntax and defining equations for an interrupt mechanism in process algebra. Zbl 0617.68027
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
52
1986
Conditional rewrite rules: Confluence and termination. Zbl 0658.68031
Bergstra, J. A.; Klop, J. W.
47
1986
Process algebra: Specification and verification in bisimulation semantics. Zbl 0625.68023
Bergstra, J. A.; Klop, J. W.
21
1986
Algebra of communicating processes. Zbl 0605.68013
Bergstra, J. A.; Klop, J. W.
19
1986
Verification of an alternating bit protocol by means of process algebra. Zbl 0595.68024
Bergstra, J. A.; Klop, J. W.
19
1986
Algebra of communicating processes with abstraction. Zbl 0579.68016
Bergstra, J. A.; Klop, J. W.
121
1985
Process algebra with asynchronous communication mechanisms. Zbl 0579.68015
Bergstra, J. A.; Klop, J. W.; Tucker, J. V.
7
1985
Process algebra of synchronous communication. Zbl 0597.68027
Bergstra, J. A.; Klop, J. W.
179
1984
The algebra of recursively defined processes and the algebra of regular processes. Zbl 0561.68019
Bergstra, J. A.; Klop, J. W.
27
1984
Linear time and branching time semantics for recursion with merge. Zbl 0985.68517
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
17
1984
Proving program inclusion using Hoare’s logic. Zbl 0533.68011
Bergstra, J. A.; Klop, J. W.
1
1984
Formal proof systems for program equivalence. Zbl 0512.68013
Bergstra, J. A.; Klop, J. W.
6
1983
Linear time and branching time semantics for recursion with merge. Zbl 0527.68011
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
2
1983
Linear time and branching time semantics for recursion with merge. Zbl 0517.68026
De Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch.
2
1983
Initial algebra specifications for parametrized data types. Zbl 0516.68019
Bergstra, Jan A.; Klop, Jan W.
2
1983
Algebraic specifications for parametrized data types with minimal parameter and target algebras. Zbl 0489.68016
Bergstra, J. A.; Klop, J. W.
15
1982
Initial algebra specifications for parametrized data types. Zbl 0549.68012
Bergstra, J. A.; Klop, J. W.
6
1982
Strong normalization and perpetual reductions in the lambda calculus. Zbl 0523.03009
Bergstra, Jan A.; Klop, Jan Willem
6
1982
A formalized proof system for total correctness of WHILE programs. Zbl 0481.68029
Bergstra, J. A.; Klop, J. W.
2
1982
Correctness of programs with function procedures. (Extended abstract). Zbl 0481.68015
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1982
Algebraic specifications for parametrized data types with minimal parameter and target algebras. Zbl 0466.68019
Bergstra, J. A.; Klop, J. W.
2
1981
Initial algebra specifications for parametrized data types. Zbl 0474.68019
Bergstra, J. A.; Klop, J. W.
1
1981
A formalized proof system for total correctness of WHILE programs. Zbl 0466.68014
Bergstra, J. A.; Klop, J. W.
1
1981
Correctness of programs with function procedures. Zbl 0463.68021
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch.
1
1981
Combinatory reduction systems. Zbl 0466.03006
Klop, J. W.
114
1980
Invertible terms in the lambda calculus. Zbl 0446.03011
Bergstra, Jan; Klop, Jan Willem
2
1980
Church-Rosser strategies in the lambda calculus. Zbl 0404.03015
Bergstra, Jan; Klop, Jan Willem
3
1979
Degrees of sensible lambda theories. Zbl 0408.03012
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
3
1978
Representability in lambda algebras. Zbl 0399.03013
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
12
1976
all top 5

Cited by 978 Authors

39 Bergstra, Jan A.
34 Klop, Jan Willem
26 Aceto, Luca
24 Baeten, Jos C. M.
21 Fokkink, Willem Jan
20 Ingólfsdóttir, Anna
18 Endrullis, Jörg
18 Ponse, Alban
16 Luttik, Bas
16 Middelburg, Cornelis A.
14 Fernández, Maribel
13 Kesner, Delia
12 van Glabbeek, Robert Jan
11 Groote, Jan Friso
11 Lucas, Salvador
11 Meyer, John-Jules Charles
11 Middeldorp, Aart
11 van Oostrom, Vincent
10 Alpuente, María
10 Meseguer Guaita, José
9 Montanari, Ugo G.
9 Reniers, Michel Adriaan
8 Dershowitz, Nachum
8 Hendriks, Dimitri
8 Kucera, Antonin
8 Rutten, Jan J. M. M.
7 de Bakker, Jacobus W.
7 Degano, Pierpaolo
7 Mackie, Ian
7 Nishida, Naoki
7 Zantema, Hans
6 Antoy, Sergio
6 Ariola, Zena M.
6 Bethke, Inge
6 Blanqui, Frédéric
6 Cirstea, Horatiu
6 de Vrijer, Roel
6 Dezani-Ciancaglini, Mariangiola
6 Gadducci, Fabio
6 Grabmayer, Clemens
6 Kamareddine, Fairouz D.
6 Phillips, Iain W.
6 Ronchi Della Rocca, Simona
6 Sakai, Masahiko
6 Simonsen, Jakob Grue
6 Smolka, Scott A.
6 van Bakel, Steffen
6 van de Pol, Jan Cornelis
6 van der Zwaag, Mark B.
5 Bonelli, Eduardo
5 Cleaveland, Rance
5 De Nicola, Rocco
5 de Vink, Erik P.
5 Durand, Irène A.
5 Escobar, Santiago
5 Geuvers, Jan Herman
5 Gramlich, Bernhard
5 Intrigila, Benedetto
5 Inverardi, Paola
5 Kaplan, Stéphane
5 Kirchner, Claude
5 Mayr, Richard
5 Moller, Faron
5 Mousavi, Mohammadreza
5 Ohlebusch, Enno
5 Polonsky, Andrew
5 Priami, Corrado
5 Rodenburg, Piet H.
5 Schmidt-Schauß, Manfred
5 Schnoebelen, Philippe
5 Ulidowski, Irek
5 Vidal, Germán
4 Ayala-Rincón, Mauricio
4 Ballis, Demis
4 Bertolissi, Clara
4 Bezem, Marc
4 Bloo, Roel
4 Colvin, Robert J.
4 de Vries, Fer-Jan J.
4 Echahed, Rachid
4 Ésik, Zoltán
4 Falaschi, Moreno
4 Ghassemi, Fatemeh
4 Gregorio-Rodríguez, Carlos
4 Hirshfeld, Yoram
4 Hoare, C. A. R. Tony
4 Huynh, Dung T.
4 Jouannaud, Jean-Pierre
4 Khasidashvili, Zurab O.
4 Kupke, Clemens
4 Lee, Insup
4 Milner, Robin
4 Mousavi, Mohammad Reza
4 Olderog, Ernst-Rüdiger
4 Parrow, Joachim
4 Ríos, Alejandro
4 Roşu, Grigore
4 Severi, Paula Gabriela
4 Sørensen, Morten Heine B.
4 Tian, Lu
...and 878 more Authors
all top 5

Cited in 72 Serials

258 Theoretical Computer Science
98 Information and Computation
35 Formal Aspects of Computing
34 Information Processing Letters
31 MSCS. Mathematical Structures in Computer Science
30 The Journal of Logic and Algebraic Programming
26 Acta Informatica
19 Journal of Symbolic Computation
19 Journal of Logical and Algebraic Methods in Programming
12 Journal of Computer and System Sciences
12 Journal of Automated Reasoning
12 Logical Methods in Computer Science
10 Journal of Functional Programming
8 Applicable Algebra in Engineering, Communication and Computing
7 Annals of Pure and Applied Logic
5 Distributed Computing
5 RAIRO. Informatique Théorique et Applications
5 RAIRO. Theoretical Informatics and Applications
5 Theory and Practice of Logic Programming
4 The Journal of Symbolic Logic
4 Notre Dame Journal of Formal Logic
4 Science of Computer Programming
4 International Journal of Computer Mathematics
4 Cybernetics and Systems Analysis
4 Formal Methods in System Design
4 Journal of Applied Non-Classical Logics
4 Theory of Computing Systems
4 Higher-Order and Symbolic Computation
4 ACM Transactions on Computational Logic
3 Information Sciences
3 Indagationes Mathematicae. New Series
3 Sādhanā
2 Artificial Intelligence
2 International Journal of Theoretical Physics
2 Fuzzy Sets and Systems
2 Journal of Algebra
2 Journal of Pure and Applied Algebra
2 Journal of Computer Science and Technology
2 International Journal of Parallel Programming
2 International Journal of Foundations of Computer Science
2 Journal of Logic, Language and Information
2 Journal of Computer and Systems Sciences International
2 The Bulletin of Symbolic Logic
2 Annals of Mathematics and Artificial Intelligence
2 LMS Journal of Computation and Mathematics
2 Journal of Applied Logic
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Russian Mathematical Surveys
1 Bulletin of Mathematical Biology
1 Algebra Universalis
1 Automatica
1 BIT
1 Journal of Computational and Applied Mathematics
1 RAIRO, Informatique Théorique
1 Studia Logica
1 New Generation Computing
1 International Journal of Intelligent Systems
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Algebra and Computation
1 Discrete Event Dynamic Systems
1 Archive for Mathematical Logic
1 Constraints
1 Mathematical Problems in Engineering
1 Journal of Combinatorial Optimization
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Journal of the Australian Mathematical Society
1 Natural Computing
1 Journal of Algebra and its Applications
1 Asian-European Journal of Mathematics
1 The Review of Symbolic Logic
1 Science China. Information Sciences
1 Algebraic Combinatorics

Citations by Year