Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... on Undirected Graph Reachability -- Session 11. Rewriting -- Improving Context-Sensitive Dependency Pairs...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Checking the Finite Variant Property -- Dependency Pairs for Rewriting with Built-In Numbers and Semantic...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... the Automaton Hierarchy -- Local Temporal Logic Is Expressively Complete for Cograph Dependence Alphabets...”
Cover Image
Read Now

4
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Model Theoretic Techniques for Fusion Decidability in Modal Logics -- Improving Dependency Pairs...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs -- Automated Termination...”
Cover Image
Read Now

6
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Back: Riding the Roller Coaster of Information-Flow Control Research -- History-Dependent Stochastic...”
Cover Image
Read Now

7
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Cover Image
Read Now

8
Published 2019
Springer International Publishing
“..., dependable and fault-tolerant Systems and Network, Automata Theory, and much more...”