Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Hendriks, Dimitri
33  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Coinductive foundations of infinitary rewriting and infinit..:

Endrullis, Jörg ; Hansen, Helle Hvid ; Hendriks, Dimitri..
Endrullis , J , Hansen , H H , Hendriks , D , Polonsky , A & Silva , A 2018 , ' Coinductive foundations of infinitary rewriting and infinitary equational logic ' , Logical Methods in Computer Science , vol. 14 , no. 1 , 3 , pp. 1-44 . https://doi.org/10.23638/LMCS-14(1:3)2018.  , 2018
Link: https://research.vu.nl/e..
 
?
2

Coinductive Foundations of Infinitary Rewriting and Infinit..:

Endrullis, Jörg ; Hansen, Helle Hvid ; Hendriks, Dimitri..
http://arxiv.org/abs/1706.00677.  , 2017
Link: http://arxiv.org/abs/170..
 
?
3

Universality of Univariate Mixed Fractions in Divisive Mead..:

Bergstra, Jan A ; Bethke, Inge ; Hendriks, Dimitri
http://arxiv.org/abs/1707.00499.  , 2017
Link: http://arxiv.org/abs/170..
 
?
4

Regularity Preserving but not Reflecting Encodings:

Endrullis, Jörg ; Grabmayer, Clemens ; Hendriks, Dimitri
http://arxiv.org/abs/1501.04835.  , 2015
Link: http://arxiv.org/abs/150..
 
?
5

A Coinductive Framework for Infinitary Rewriting and Equati..:

Endrullis, Jörg ; Hansen, Helle Hvid ; Hendriks, Dimitri..
http://arxiv.org/abs/1505.01128.  , 2015
Link: http://arxiv.org/abs/150..
 
?
6

The Degree of Squares is an Atom (Extended Version):

Endrullis, Jörg ; Grabmayer, Clemens ; Hendriks, Dimitri.
http://arxiv.org/abs/1506.00884.  , 2015
Link: http://arxiv.org/abs/150..
 
?
7

A Coinductive Framework for Infinitary Rewriting and Equati..:

Endrullis, Jörg ; Hansen, Helle Hvid ; Hendriks, Dimitri..
Is Part Of LIPIcs, Volume 36, 26th International Conference on Rewriting Techniques and Applications (RTA 2015).  , 2015
Link: https://doi.org/10.4230/..
 
?
8

Infinitary Term Rewriting for Weakly Orthogonal Systems: Pr..:

Endrullis, Joerg ; Grabmayer, Clemens ; Hendriks, Dimitri..
http://arxiv.org/abs/1403.6172.  , 2014
Link: http://arxiv.org/abs/140..
 
?
9

An Introduction to the Clocked Lambda Calculus:

Endrullis, Jörg ; Hendriks, Dimitri ; Klop, Jan Willem.
http://arxiv.org/abs/1405.7500.  , 2014
Link: http://arxiv.org/abs/140..
 
?
10

A Coinductive Treatment of Infinitary Rewriting:

Endrullis, Joerg ; Hansen, Helle Hvid ; Hendriks, Dimitri..
http://arxiv.org/abs/1306.6224.  , 2013
Link: http://arxiv.org/abs/130..
 
?
11

Automatic Sequences and Zip-Specifications:

Grabmayer, Clemens ; Endrullis, Joerg ; Hendriks, Dimitri..
http://arxiv.org/abs/1201.3251.  , 2012
Link: http://arxiv.org/abs/120..
 
?
12

On the Complexity of Equivalence of Specifications of Infin..:

Endrullis, Joerg ; Hendriks, Dimitri ; Bakhshi, Rena
http://arxiv.org/abs/1207.0158.  , 2012
Link: http://arxiv.org/abs/120..
 
?
13

Discriminating Lambda-Terms Using Clocked Boehm Trees:

Endrullis, Joerg ; Hendriks, Dimitri ; Klop, Jan Willem.
http://arxiv.org/abs/1212.0401.  , 2012
Link: http://arxiv.org/abs/121..
 
?
14

Arithmetic Self-Similarity of Infinite Sequences:

Hendriks, Dimitri ; Dannenberg, Frits G. W ; Endrullis, Joerg..
http://arxiv.org/abs/1201.3786.  , 2012
Link: http://arxiv.org/abs/120..
 
?
15

On Periodically Iterated Morphisms:

Endrullis, Joerg ; Hendriks, Dimitri
http://arxiv.org/abs/1207.2336.  , 2012
Link: http://arxiv.org/abs/120..
 
1-15