Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Struth, Georg - Department of Computer Science, University of Sheffield
Software Verification and Testing Lecture Notes: Z I
Greedy-Like Algorithms in Modal Kleene Algebra ?
COM 6854: Verification and Testing Exercise Sheet 8
Knuth-Bendix Completion for Non-Symmetric Transitive Relations
An Algebra of Resolution Georg Struth
Software Verification and Testing Lecture Notes: Introduction to Formal Methods
Software Verification and Testing Lecture Notes: Sets, Relations, Functions
Software Verification and Testing Lecture Notes: Transition Systems I
Software Verification and Testing Lecture Notes: Z III
Universit at Augsburg Termination of Ground Non-Symmetric
COM 6854: Verification and Testing Exercise Sheet 5
Calculating Church-Rosser Proofs in Kleene Algebra
Universit at Augsburg A Calculus for Set-Based Program Development
Deriving Focused Lattice Calculi Georg Struth
Universit at Augsburg A Calculus for Set-Based Program Development
Diagram Chase in Relational System Development
Software Verification and Testing Lecture Notes: Transition Systems II
Software Verification and Testing Lecture Notes: Temporal Logics
Kleene Modules Thorsten Ehm Bernhard Moller Georg Struth
A Calculus for Set-Based Program Development Georg Struth
Universitat Augsburg Termination in Modal Kleene Algebra
Algebraic Methods Georg Struth
Mechanised Reasoning Georg Struth
Concurrent Kleene Algebra and its Foundations Microsoft Research, Cambridge, UK
Software Verification and Testing Lecture Notes: Logic
Software Verification and Testing Lecture Notes: Z II
Software Verification and Testing Lecture Notes: Testing I
Software Verification and Testing Lecture Notes: Testing II
COM 6854: Verification and Testing Exercise Sheet 7
Universitat Augsburg Kleene Algebra with Domain
Universit at Augsburg Kleene Modules
DERIVING FOCUSED CALCULI FOR TRANSITIVE RELATIONS GEORG STRUTH
