Search alternatives:
live-algebra » life-algebra
like-algebra » life-algebra
Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... of Canonical Abstraction -- Boolean Algebra of Shape Analysis Constraints -- Approximate Probabilistic Model...”
Cover Image
Read Now

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... for equational algebraic specifications -- Termination of rewrite systems by elementary interpretations...”
Cover Image
Read Now

3
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- Viewing a program transformation system at work -- Proving implications by algebraic approximation...”