Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Introduction: NADA and NIL -- Introduction: NADA and NIL -- I Mathematical Foundations -- Streams...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... in Interprocedural Analysis of (Mutually) Recursive Programs -- Towards Algebraic Separation Logic -- Domain...”