E-LIB Suche - Ergebnisse für: Grabmayer, Clemens

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

Maximal sharing in the Lambda calculus with letrec:

Grabmayer, Clemens ; Rochel, Jan
ACM SIGPLAN Notices. 49 (2014) 9 - p. 67-80 , 2014

Link: https://doi.org/10.1145/..

3

Maximal sharing in the Lambda calculus with letrec:

Grabmayer, Clemens ; Rochel, Jan
ACM SIGPLAN Notices. 49 (2014) 9 - p. 67-80 , 2014

Link: https://doi.org/10.1145/..

4

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

5

Expressive power of digraph solvability:

Bezem, Marc ; Grabmayer, Clemens ; Walicki, Michał
Annals of Pure and Applied Logic. 163 (2012) 3 - p. 200-213 , 2012

Link: https://doi.org/10.1016/..

6

ON THE TERMINATION OF RUSSELL'S DESCRIPTION ELIMINATION ALG..:

GRABMAYER, CLEMENS ; LEO, JOOP ; VAN OOSTROM, VINCENT.
The Review of Symbolic Logic. 4 (2011) 3 - p. 367-393 , 2011

Link: https://doi.org/10.1017/..

7

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

8

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

9

A Duality in Proof Systems for Recursive Type Equality and ..:

Grabmayer, Clemens
Electronic Notes in Theoretical Computer Science. 72 (2007) 1 - p. 59-74 , 2007

Link: https://doi.org/10.1016/..

10

A duality between proof systems for cyclic term graphs:

GRABMAYER, CLEMENS
Mathematical Structures in Computer Science. 17 (2007) 3 - p. 439-484 , 2007

Link: https://doi.org/10.1017/..

11

Reflections on a Geometry of Processes:

Grabmayer, Clemens ; Klop, Jan Willem ; Luttik, Bas
Electronic Notes in Theoretical Computer Science. 162 (2006) - p. 183-190 , 2006

Link: https://doi.org/10.1016/..

12

Milner's Proof System for Regular Expressions Modulo Bisimi..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Grabmayer, Clemens Armin - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

13

Proceedings Twelfth International Workshop on Computing wit..:

Grabmayer, Clemens
http://arxiv.org/abs/2303.14219. , 2023

Link: http://arxiv.org/abs/230..

14

The Image of the Process Interpretation of Regular Expressi..:

Grabmayer, Clemens
http://arxiv.org/abs/2303.08553. , 2023

Link: http://arxiv.org/abs/230..

15

Milner's Proof System for Regular Expressions Modulo Bisimi..:

Grabmayer, Clemens
http://arxiv.org/abs/2209.12188. , 2022

Link: http://arxiv.org/abs/220..