( en | de | ru )

 

Disambiguation of "Grabmayer, Clemens"

Author of the publication

copydeleteadd this publication to your clipboard
The Degree of Squares is an Atom (Extended Version).

, , , and . CoRR, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Johannes Grabmayer

Clemens Scheer

Biosphere-atmosphere-exchange of C and N trace gases and microbial N turnover processes in irrigated agricultural systems of the Aral Sea Basin, Uzbekistan. Uni Bonn, (2008)

Clemens Behrens

Der medikamentöse Einfluss von 21-Aminosteroiden auf die Akutphase des hyperoxischen Lungenschadens am Modell der isolierten, perfundierten und ventilierten Rattenlunge. MedH Hannover, (2009)

Clemens Früstück

Clemens Richter

 

Other publications of authors with the same name

Expressibility in the Lambda Calculus with Mu., and . RTA, volume 21 of LIPIcs, page 206-222. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Expressive power of digraph solvability., , and . Ann. Pure Appl. Log., 163 (3): 200-213 (2012)Reflections on a Geometry of Processes., , and . APC 25, volume 162 of Electronic Notes in Theoretical Computer Science, page 183-190. Elsevier, (2005)A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity.. CALCO, volume 211 of LIPIcs, page 16:1-16:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A duality between proof systems for cyclic term graphs.. Math. Struct. Comput. Sci., 17 (3): 439-484 (2007)A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity.. Log. Methods Comput. Sci., (2023)On equal μ-terms., , , and . Theor. Comput. Sci., 412 (28): 3175-3202 (2011)Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions.. TERMGRAPH@FSCD, volume 334 of EPTCS, page 29-45. (2020)Regularity Preserving but Not Reflecting Encodings., , and . LICS, page 535-546. IEEE Computer Society, (2015)Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting., , , , and . RTA, volume 6 of LIPIcs, page 85-102. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)