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
https://portal.mardi4nfdi.de/entity/Q5013813	2021-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q3388526	2021-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q4964706	2021-03-03	Paper
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5224690	2019-07-24	Paper
Regularity Preserving but Not Reflecting Encodings	2018-04-23	Paper
Automatic Sequences and Zip-Specifications	2017-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q2958385	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