( en | de | ru )

 

Disambiguation of "Struth, Georg"

Author of the publication

copydeleteadd this publication to your clipboard
Relations and Kleene Algebras in Computer Science.

, and . J. Log. Algebraic Methods Program., 76 (1): 1-2 (2008)

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.

Georg Struth

Fritz Struth

Sigrid Struth

Bernd Struth

Thomas Struth

 

Other publications of authors with the same name

A Program Construction and Verification Tool for Separation Logic., , and . MPC, volume 9129 of Lecture Notes in Computer Science, page 137-158. Springer, (2015)Concurrent Kleene Algebra., , , and . CONCUR, volume 5710 of Lecture Notes in Computer Science, page 399-414. Springer, (2009)On Locality and the Exchange Law for Concurrent Processes., , , , , and . CONCUR, volume 6901 of Lecture Notes in Computer Science, page 250-264. Springer, (2011)Modal Kleene Algebra and Partial Correctness., and . AMAST, volume 3116 of Lecture Notes in Computer Science, page 379-393. Springer, (2004)Kleene Theorem for Higher-Dimensional Automata, , , and . (2022)cite arxiv:2202.03791.ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality., , , , and . RAMiCS, volume 13027 of Lecture Notes in Computer Science, page 90-107. Springer, (2021)On Probabilistic Kleene Algebras, Automata and Simulations., , and . RAMiCS, volume 6663 of Lecture Notes in Computer Science, page 264-279. Springer, (2011)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)Relations and Kleene Algebras in Computer Science., and . J. Log. Algebraic Methods Program., 76 (1): 1-2 (2008)On Automating the Calculus of Relations, and . (2008)