dblp.uni-trier.dewww.uni-trier.de

Georg Struth

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
33 Rudolf Berghammer, Bernhard Möller, Georg Struth: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings Springer 2008
32EEJules Desharnais, Georg Struth: Domain Axioms for a Family of Near-Semirings. AMAST 2008: 330-345
31EEPeter Höfner, Georg Struth: On Automating the Calculus of Relations. IJCAR 2008: 50-66
30EEJules Desharnais, Georg Struth: Modal Semirings Revisited. MPC 2008: 360-387
29EEPeter Höfner, Georg Struth: Non-termination in Idempotent Semirings. RelMiCS 2008: 206-220
28EEPeter Jipsen, Georg Struth: The Structure of the One-Generated Free Domain Semiring. RelMiCS 2008: 234-242
27EEPeter Höfner, Georg Struth: Can Refinement be Automated? Electr. Notes Theor. Comput. Sci. 201: 197-222 (2008)
26EEGeorg Struth: Modal Tools for Separation and Refinement. Electr. Notes Theor. Comput. Sci. 214: 81-101 (2008)
25EERenate A. Schmidt, Georg Struth: Relations and Kleene Algebras in Computer Science. J. Log. Algebr. Program. 76(1): 1-2 (2008)
2007
24EEPeter Höfner, Georg Struth: Automated Reasoning in Kleene Algebra. CADE 2007: 279-294
2006
23EEBernhard Möller, Peter Höfner, Georg Struth: Quantales and Temporal Logics. AMAST 2006: 263-277
22EEGeorg Struth: Tableaux for Lattices. AMAST 2006: 323-337
21EEGeorg Struth: Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. MPC 2006: 416-432
20EEJules Desharnais, Bernhard Möller, Georg Struth: Kleene algebra with domain. ACM Trans. Comput. Log. 7(4): 798-833 (2006)
19EEGeorg Struth: Abstract abstract reduction. J. Log. Algebr. Program. 66(2): 239-270 (2006)
18EEBernhard Möller, Georg Struth: Algebras of modal operators and partial correctness. Theor. Comput. Sci. 351(2): 221-239 (2006)
2005
17EEBernhard Möller, Georg Struth: p Is. RelMiCS 2005: 200-211
16EEGeorg Struth: Knuth-Bendix Completion as a Data Structure. RelMiCS 2005: 225-236
15EEMichael Ebert, Georg Struth: Diagram Chase in Relational System Development. Electr. Notes Theor. Comput. Sci. 127(4): 87-105 (2005)
2004
14 Rudolf Berghammer, Bernhard Möller, Georg Struth: 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 Springer 2004
13EEBernhard Möller, Georg Struth: Modal Kleene Algebra and Partial Correctness. AMAST 2004: 379-393
12 Jules Desharnais, Bernhard Möller, Georg Struth: Termination in Modal Kleene Algebra. IFIP TCS 2004: 647-660
11EEGeorg Struth: Automated Element-Wise Reasoning with Sets. SEFM 2004: 320-329
2003
10EEGeorg Struth: A Calculus for Set-Based Program Development. ICFEM 2003: 541-559
9EEThorsten Ehm, Bernhard Möller, Georg Struth: Kleene Modules. RelMiCS 2003: 112-124
8EEBernhard Möller, Georg Struth: Greedy-Like Algorithms in Modal Kleene Algebra. RelMiCS 2003: 202-215
7EEJules Desharnais, Bernhard Möller, Georg Struth: Kleene algebra with domain CoRR cs.LO/0310054: (2003)
2002
6EEGeorg Struth: Deriving Focused Lattice Calculi. RTA 2002: 83-97
2001
5EEGeorg Struth: Deriving Focused Calculi for Transitive Relations. RTA 2001: 291-305
4EEGeorg Struth: Calculating Church-Rosser Proofs in Kleene Algebra. RelMiCS 2001: 276-290
3EEGeorg Struth: Knuth-Bendix Completion for Non-Symmetric Transitive Relations. Electr. Notes Theor. Comput. Sci. 59(4): (2001)
2000
2 Georg Struth: An Algebra of Resolution. RTA 2000: 214-228
1997
1 Georg Struth: On the Word Problem for Free Lattices. RTA 1997: 128-141

Coauthor Index

1Rudolf Berghammer [14] [33]
2Jules Desharnais [7] [12] [20] [30] [32]
3Michael Ebert [15]
4Thorsten Ehm [9]
5Peter Höfner [23] [24] [27] [29] [31]
6Peter Jipsen [28]
7Bernhard Möller [7] [8] [9] [12] [13] [14] [17] [18] [20] [23] [33]
8Renate A. Schmidt [25]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)