PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Struth, Georg"

Author of the publication

copydeleteadd this publication to your clipboard
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic.

, , and . UTP, volume 11885 of Lecture Notes in Computer Science, page 3-21. Springer, (2019)

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.

Dr. Ilche Georgievski University of Stuttgart

M. Sc. Patrick Georgi University of Stuttgart

Daniel Georg University of Stuttgart

Prof. Dr. Hans-Georg Kemper

Führungsinformationssysteme im Kontext der Business Intelligence: Das Beispiel bms:roi der Bayer MaterialScience, , and . HMD Praxis der Wirtschaftsinformatik, 48 (6): 46-54 (2011)

Hon. -Prof. Dr. Georg Urban University of Stuttgart

 

Other publications of authors with the same name

Algebras of modal operators and partial correctness., and . Theor. Comput. Sci., 351 (2): 221-239 (2006)Concurrent Dynamic Algebra., and . ACM Trans. Comput. Log., 16 (4): 30:1-30:38 (2015)An Event Structure Model for Probabilistic Concurrent Kleene Algebra., , and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 653-667. Springer, (2013)Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL - (Invited Tutorial)., , and . RAMICS, volume 6663 of Lecture Notes in Computer Science, page 52-67. Springer, (2011)Kleene Modules., , and . RelMiCS, volume 3051 of Lecture Notes in Computer Science, page 112-124. Springer, (2003)Algebras for Program Correctness in Isabelle/HOL., , and . RAMICS, volume 8428 of Lecture Notes in Computer Science, page 49-64. Springer, (2014)Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages., and . RAMICS, volume 8428 of Lecture Notes in Computer Science, page 65-82. Springer, (2014)On Completeness of Omega-Regular Algebras., and . RAMICS, volume 7560 of Lecture Notes in Computer Science, page 179-194. Springer, (2012)A Calculus for Set-Based Program Development.. ICFEM, volume 2885 of Lecture Notes in Computer Science, page 541-559. Springer, (2003)A Repository for Tarski-Kleene Algebras., , and . ATE, volume 760 of CEUR Workshop Proceedings, page 30-39. CEUR-WS.org, (2011)