Expressive power of digraph solvability von Walicki, Michal, Grabmayer, C.A, Bezem, Marc

Volltext

Automatic Sequences and Zip-Specifications von Grabmayer, C.A, Endrullis, J, Hendriks, D, Klop, J.W, Moss, L.S

Volltext

On the termination of Russel's description elimination algorithm von Grabmayer, C.A, Leo, J, Oostrom, V. van, Visser, A

Volltext bestellen

Productivity of stream definitions von Endrullis, J, Grabmayer, C.A, Hendriks, D, Isihara, A, Klop, J.W

Volltext