( en | de | ru )

 

Disambiguation of "Grabmayer, Clemens"

Author of the publication

copydeleteadd this publication to your clipboard
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples.

, , , , and . Log. Methods Comput. Sci., (2014)

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 Richter

Clemens Pörnbacher

 

Other publications of authors with the same name

Expressive power of digraph solvability., , and . Ann. Pure Appl. Log., 163 (3): 200-213 (2012)Expressibility in the Lambda Calculus with Mu., and . RTA, volume 21 of LIPIcs, page 206-222. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)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)Reflections on a Geometry of Processes., , and . APC 25, volume 162 of Electronic Notes in Theoretical Computer Science, page 183-190. Elsevier, (2005)A duality between proof systems for cyclic term graphs.. Math. Struct. Comput. Sci., 17 (3): 439-484 (2007)On equal μ-terms., , , and . Theor. Comput. Sci., 412 (28): 3175-3202 (2011)A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity.. Log. Methods Comput. Sci., (2023)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)Linear Depth Increase of Lambda Terms in Leftmost-Outermost Beta-Reduction Rewrite Sequences.. CoRR, (2016)