Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Klop, Jan Willem
166  Ergebnisse:
Personensuche X
?
1

L.E.J. Brouwer, fifty years later:

van Dalen, Dirk ; Jongbloed, Geurt ; Klop, Jan Willem.
Indagationes Mathematicae.  30 (2019)  3 - p. 387-402 , 2019
Link: https://doi.org/10.1016/..
 
?
2

Confluence of the Chinese Monoid:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,
Endrullis, Jörg ; Klop, Jan Willem - p. 206-220 , 2019
Link: https://doi.org/10.1007/..
 
?
3

Braids via term rewriting:

Endrullis, Jörg ; Klop, Jan Willem
Theoretical Computer Science.  777 (2019)  - p. 260-295 , 2019
Link: https://doi.org/10.1016/..
 
?
4

Transducer degrees: atoms, infima and suprema:

Endrullis, Jörg ; Klop, Jan Willem ; Bakhshi, Rena
Acta Informatica.  57 (2019)  3-5 - p. 727-758 , 2019
Link: https://doi.org/10.1007/..
 
?
5

Clocked lambda calculus:

ENDRULLIS, JÖRG ; HENDRIKS, DIMITRI ; KLOP, JAN WILLEM.
Mathematical Structures in Computer Science.  27 (2015)  5 - p. 782-806 , 2015
Link: https://doi.org/10.1017/..
 
?
6

De Bruijn's weak diamond property revisited:

Endrullis, Jörg ; Klop, Jan Willem
Indagationes Mathematicae.  24 (2013)  4 - p. 1050-1072 , 2013
Link: https://doi.org/10.1016/..
 
?
7

Nicolaas Govert de Bruijn (1918–2012) Mathematician, comput..:

Klop, Jan Willem
Indagationes Mathematicae.  24 (2013)  4 - p. 648-656 , 2013
Link: https://doi.org/10.1016/..
 
?
8

Automatic Sequences and Zip-Specifications:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,
Grabmayer, Clemens ; Endrullis, Jorg ; Hendriks, Dimitri.. - p. 335-344 , 2012
Link: https://dl.acm.org/doi/1..
 
?
9

Term Rewriting and Lambda Calculus:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,
Klop, Jan Willem - p. 12 ff. , 2012
Link: https://dl.acm.org/doi/1..
 
?
10

Highlights in infinitary rewriting and lambda calculus:

Endrullis, Jörg ; Hendriks, Dimitri ; Klop, Jan Willem
Theoretical Computer Science.  464 (2012)  - p. 48-71 , 2012
Link: https://doi.org/10.1016/..
 
?
11

The free process algebra generated by δ, ϵ and τ:

Rodenburg, Piet H. ; Klop, Jan Willem ; Koymans, Karst.
Theoretical Computer Science.  412 (2011)  28 - p. 3370-3377 , 2011
Link: https://doi.org/10.1016/..
 
?
12

On equal μ-terms:

Endrullis, Jörg ; Grabmayer, Clemens ; Klop, Jan Willem.
Theoretical Computer Science.  412 (2011)  28 - p. 3175-3202 , 2011
Link: https://doi.org/10.1016/..
 
?
13

Productivity of stream definitions:

Endrullis, Jörg ; Grabmayer, Clemens ; Hendriks, Dimitri..
Theoretical Computer Science.  411 (2010)  4-5 - p. 765-782 , 2010
Link: https://doi.org/10.1016/..
 
?
14

Applications of infinitary lambda calculus:

Barendregt, Henk ; Klop, Jan Willem
Information and Computation.  207 (2009)  5 - p. 559-582 , 2009
Link: https://doi.org/10.1016/..
 
?
15

Lambda calculus with patterns:

Klop, Jan Willem ; van Oostrom, Vincent ; de Vrijer, Roel
Theoretical Computer Science.  398 (2008)  1-3 - p. 16-31 , 2008
Link: https://doi.org/10.1016/..
 
1-15