Struth, Georg
Struth, Georg ca. 20. / 21. Jh.
Struth, G
VIAF ID: 72103305 ( Personal )
Permalink: http://viaf.org/viaf/72103305
Preferred Forms
- 100 1 _ ‡a Struth, G
-
- 100 1 0 ‡a Struth, Georg
-
-
- 100 1 _ ‡a Struth, Georg
-
- 100 1 _ ‡a Struth, Georg ‡d ca. 20. / 21. Jh.
5xx's: Related Names (2)
- 510 2 _ ‡a Universität Augsburg ‡b Institut für Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a University of Sheffield ‡b Department of Computer Science ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
An Algebraic Study of Commutation and Termination | |
Algebras of Relations : from algorithms to formal proofs | |
Algèbres de relations : des algorithmes aux preuves formelles. | |
A Calculus for Set-Based Program Development Part II: Proof Search | |
Canonical transformations in algebra, universal algebra and logic | |
Declarative Graph Algorithms via Knuth-Bendix Completion | |
Deriving Focused Lattice Calculi | |
Deriving Tableau-Based Solutions to Lattice Word Problems | |
A discrete geometric model of concurrent program execution | |
Foundations of Concurrent Kleene Algebra | |
Kleene algebra with domain | |
Kleene modules | |
Modal Kleene Algebra and partial correctness | |
Modelling Computing Systems : Mathematics for Computer Science | |
Non-symmetric rewriting | |
On locality and the exchange law for concurrent processes | |
Philosophical logics : a survey and a bibliography | |
Quantales and temporal logics | |
Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers | |
RelMiCS/AKA 2008 | |
Simplifying Pointer Kleene algebra | |
Termination of Ground Non-Symmetric Knuth-Bendix Completion | |
Über Beziehungen zwischen Löslichkeit und chemischer Konstitution | |
wp is wlp |