io-port.net

io-port 06027851 Zantema, Hans; Endrullis, Jörg

Proving equality of streams automatically. (English)

Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 ‒ June 1, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPICS ‒ Leibniz International Proceedings in Informatics 10, 393-408, electronic only (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI URL

io-port 05918235 Endrullis, Jörg; Hendriks, Dimitri

Lazy productivity via termination. (English)

Theor. Comput. Sci. 412, No. 28, 3203-3225 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05918234 Endrullis, Jörg; Grabmayer, Clemens; Klop, Jan Willem; van Oostrom, Vincent

On equal $μ$-terms. (English)

Theor. Comput. Sci. 412, No. 28, 3175-3202 (2011).

Reviewer: Saeed Salehi (Tabriz)

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05853780 Endrullis, Jörg; Geuvers, Herman; Simonsen, Jakob Grue; Zantema, Hans

Levels of undecidability in rewriting. (English)

Inf. Comput. 209, No. 2, 227-245 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70562181 Zantema, Hans; Endrullis, Jörg

Proving equality of streams automatically (English)

RTA, 393-408 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06027893 Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; van Oostrom, Vincent

Unique normal forms in infinitary weakly orthogonal rewriting. (English)

Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11‒13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPICS ‒ Leibniz International Proceedings in Informatics 6, 85-102, electronic only (2010).

6

PDF XML AMS-TeX TEXT BIBTeX DOI URL

io-port 05789407 Endrullis, Joerg; de Vrijer, Roel; Waldmann, Johannes

Local termination: theory and practice. (English)

Log. Methods Comput. Sci. 6, No. 3, Paper No. 20, 37 p., electronic only (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05767461 Endrullis, Jörg; De Vrijer, Roel C.; Waldmann, Johannes

Local termination: theory and practice. (English)

Comput. Res. Repos. 2010, Article No. 1006.4955 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05761683 Endrullis, Joerg; Hendriks, Dimitri

Transforming outermost into context-sensitive rewriting. (English)

Log. Methods Comput. Sci. 6, No. 2, Paper No. 6, 39 p., electronic only (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05756739 Endrullis, Jörg; Hendriks, Dimitri

Transforming outermost into context-sensitive rewriting. (English)

Comput. Res. Repos. 2010, Article No. 1005.5648 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05755052 Bakhshi, Rena; Endrullis, Jörg; Fokkink, Wan; Pang, Jun

Asynchronous bounded expected delay networks. (English)

Comput. Res. Repos. 2010, Article No. 1003.2084 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05754942 Endrullis, Jörg

Levels of undecidability in infinitary rewriting: normalization and reachability. (English)

Comput. Res. Repos. 2010, Article No. 1003.1057 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05754614 Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem

Modular construction of fixed point combinators and clocked boehm trees. (English)

Comput. Res. Repos. 2010, Article No. 1002.2578 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05667928 Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Isihara, Ariya; Klop, Jan Willem

Productivity of stream definitions. (English)

Theor. Comput. Sci. 411, No. 4-5, 765-782 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70562069 Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem; Van Oostrom, Vincent

Unique normal forms in infinitary weakly orthogonal rewriting (English)

RTA, 85-102 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70693223 Bakhshi, Rena; Endrullis, Jörg; Fokkink, Wan; Pang, Jun

Brief announcement: asynchronous bounded expected delay networks (English)

PODC, 392-393 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70764317 Bakhshi, Rena; Endrullis, Jörg; Endrullis, Stefan; Fokkink, Wan; Haverkort, Boudewijn R.

Automating the mean-field method for large dynamic gossip networks (English)

QEST, 241-250 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70803335 Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem

Modular construction of fixed point combinators and clocked Bohm trees (English)

LICS, 111-119 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05752857 Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri; Klop, Jan Willem

Unique normal forms in infinitary weakly orthogonal term rewriting. (English)

Comput. Res. Repos. 2009, Article No. 0911.1009 (2009).

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05752856 Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem

Let’s make a difference! (English)

Comput. Res. Repos. 2009, Article No. 0911.1004 (2009).

20

PDF XML AMS-TeX TEXT BIBTeX URL