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

Regularity Preserving but Not Reflecting Encodings:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Endrullis, Jorg ; Grabmayer, Clemens ; Hendriks, Dimitri - p. 535-546 , 2015
Link: https://dl.acm.org/doi/1..
 
?
2

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/..
 
?
3

On the complexity of stream equality:

ENDRULLIS, JÖRG ; HENDRIKS, DIMITRI ; BAKHSHI, RENA.
Journal of Functional Programming.  24 (2014)  2-3 - p. 166-217 , 2014
Link: https://doi.org/10.1017/..
 
?
4

On periodically iterated morphisms:

, In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Endrullis, Jörg ; Hendriks, Dimitri - p. 1-10 , 2014
Link: https://dl.acm.org/doi/1..
 
?
5

On the complexity of equivalence of specifications of infin..:

, In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming,
Endrullis, Jörg ; Hendriks, Dimitri ; Bakhshi, Rena - p. 153-164 , 2012
Link: https://dl.acm.org/doi/1..
 
?
6

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

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/..
 
?
8

On the complexity of equivalence of specifications of infin..:

Endrullis, Jörg ; Hendriks, Dimitri ; Bakhshi, Rena
ACM SIGPLAN Notices.  47 (2012)  9 - p. 153-164 , 2012
Link: https://doi.org/10.1145/..
 
?
9

Lazy productivity via termination:

Endrullis, Jörg ; Hendriks, Dimitri
Theoretical Computer Science.  412 (2011)  28 - p. 3203-3225 , 2011
Link: https://doi.org/10.1016/..
 
?
10

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/..
 
?
11

On the Mechanization of the Proof of Hessenberg's Theorem i..:

Bezem, Marc ; Hendriks, Dimitri
Journal of Automated Reasoning.  40 (2007)  1 - p. 61-85 , 2007
Link: https://doi.org/10.1007/..
 
?
12

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..
 
?
13

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..
 
?
14

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..
 
?
15

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..
 
1-15