|
Search the dblp DataBase
Georg Struth:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bernhard Möller, Georg Struth
Greedy-Like Algorithms in Modal Kleene Algebra. [Citation Graph (0, 0)][DBLP] RelMiCS, 2003, pp:202-215 [Conf]
- Thorsten Ehm, Bernhard Möller, Georg Struth
Kleene Modules. [Citation Graph (0, 0)][DBLP] RelMiCS, 2003, pp:112-124 [Conf]
- Georg Struth
Calculating Church-Rosser Proofs in Kleene Algebra. [Citation Graph (0, 0)][DBLP] RelMiCS, 2001, pp:276-290 [Conf]
- Bernhard Möller, Georg Struth
p Is. [Citation Graph (0, 0)][DBLP] RelMiCS, 2005, pp:200-211 [Conf]
- Georg Struth
Knuth-Bendix Completion as a Data Structure. [Citation Graph (0, 0)][DBLP] RelMiCS, 2005, pp:225-236 [Conf]
- Bernhard Möller, Georg Struth
Modal Kleene Algebra and Partial Correctness. [Citation Graph (0, 0)][DBLP] AMAST, 2004, pp:379-393 [Conf]
- Georg Struth
Tableaux for Lattices. [Citation Graph (0, 0)][DBLP] AMAST, 2006, pp:323-337 [Conf]
- Bernhard Möller, Peter Höfner, Georg Struth
Quantales and Temporal Logics. [Citation Graph (0, 0)][DBLP] AMAST, 2006, pp:263-277 [Conf]
- Georg Struth
A Calculus for Set-Based Program Development. [Citation Graph (0, 0)][DBLP] ICFEM, 2003, pp:541-559 [Conf]
- Jules Desharnais, Bernhard Möller, Georg Struth
Termination in Modal Kleene Algebra. [Citation Graph (0, 0)][DBLP] IFIP TCS, 2004, pp:647-660 [Conf]
- Georg Struth
Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. [Citation Graph (0, 0)][DBLP] MPC, 2006, pp:416-432 [Conf]
- Georg Struth
An Algebra of Resolution. [Citation Graph (0, 0)][DBLP] RTA, 2000, pp:214-228 [Conf]
- Georg Struth
Deriving Focused Calculi for Transitive Relations. [Citation Graph (0, 0)][DBLP] RTA, 2001, pp:291-305 [Conf]
- Georg Struth
Deriving Focused Lattice Calculi. [Citation Graph (0, 0)][DBLP] RTA, 2002, pp:83-97 [Conf]
- Georg Struth
On the Word Problem for Free Lattices. [Citation Graph (0, 0)][DBLP] RTA, 1997, pp:128-141 [Conf]
- Georg Struth
Automated Element-Wise Reasoning with Sets. [Citation Graph (0, 0)][DBLP] SEFM, 2004, pp:320-329 [Conf]
- Jules Desharnais, Bernhard Möller, Georg Struth
Kleene algebra with domain [Citation Graph (0, 0)][DBLP] CoRR, 2003, v:0, n:, pp:- [Journal]
- Michael Ebert, Georg Struth
Diagram Chase in Relational System Development. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:87-105 [Journal]
- Georg Struth
Abstract abstract reduction. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2006, v:66, n:2, pp:239-270 [Journal]
- Bernhard Möller, Georg Struth
Algebras of modal operators and partial correctness. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:351, n:2, pp:221-239 [Journal]
- Georg Struth
Knuth-Bendix Completion for Non-Symmetric Transitive Relations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
- Jules Desharnais, Bernhard Möller, Georg Struth
Kleene algebra with domain. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2006, v:7, n:4, pp:798-833 [Journal]
- Peter Höfner, Georg Struth
Automated Reasoning in Kleene Algebra. [Citation Graph (0, 0)][DBLP] CADE, 2007, pp:279-294 [Conf]
The Structure of the One-Generated Free Domain Semiring. [Citation Graph (, )][DBLP]
Non-termination in Idempotent Semirings. [Citation Graph (, )][DBLP]
Foundations of Concurrent Kleene Algebra. [Citation Graph (, )][DBLP]
Domain and Antidomain Semigroups. [Citation Graph (, )][DBLP]
Domain Axioms for a Family of Near-Semirings. [Citation Graph (, )][DBLP]
On Automating the Calculus of Relations. [Citation Graph (, )][DBLP]
Concurrent Kleene Algebra. [Citation Graph (, )][DBLP]
Modal Semirings Revisited. [Citation Graph (, )][DBLP]
On Automated Program Construction and Verification. [Citation Graph (, )][DBLP]
Automated verification of refinement laws. [Citation Graph (, )][DBLP]
Can Refinement be Automated? [Citation Graph (, )][DBLP]
Modal Tools for Separation and Refinement. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.007secs
|