Clemens Grabmayer

Available identifiers

zbMath Open grabmayer.clemensMaRDI QIDQ409314

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6061676	2023-12-08	Paper
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity	2023-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q5021231	2022-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5018493	2021-12-20	Paper
Nested term graphs (work in progress)	2021-12-02	Paper
Term graph representations for cyclic \(\lambda\)-terms	2021-05-05	Paper
Repetitive reduction patterns in lambda calculus with \texttt{letrec} (work in progress)	2021-03-03	Paper
A complete proof system for 1-free regular expressions modulo bisimilarity	2021-01-21	Paper
Linear depth increase of lambda terms in leftmost-outermost rewrite sequences	2019-07-24	Paper
Regularity preserving but not reflecting encodings	2018-04-23	Paper
Automatic sequences and zip-specifications	2017-05-16	Paper
Expressibility in the lambda calculus with \(\mu\)	2017-02-01	Paper
Maximal sharing in the lambda calculus with letrec	2016-09-29	Paper
The degree of squares is an atom	2015-11-04	Paper
Reflections on a Geometry of Processes	2015-07-10	Paper
Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples	2014-06-10	Paper
A duality in proof systems for recursive type equality and for bisimulation equivalence on cyclic term graphs	2013-08-27	Paper
Mix-automatic sequences	2013-03-18	Paper
Unique normal forms in infinitary weakly orthogonal rewriting	2012-04-25	Paper
Expressive power of digraph solvability	2012-04-13	Paper
On the termination of Russell's description elimination algorithm	2011-11-14	Paper
On equal \(\mu \)-terms	2011-07-07	Paper
Productivity of stream definitions	2010-02-09	Paper
Complexity of Fractran and Productivity	2009-07-28	Paper
Proving Infinitary Normalization	2009-07-02	Paper
Data-Oblivious Stream Productivity	2009-01-27	Paper
A characterization of regular expressions under bisimulation	2008-12-21	Paper
Productivity of Stream Definitions	2008-02-26	Paper
A duality between proof systems for cyclic term graphs	2007-09-26	Paper
Some Remarks on Definability of Process Graphs	2007-09-04	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper

Research outcomes over time

This page was built for person: Clemens Grabmayer