Search alternatives:
associations using » association using, associations united
Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... of tautologies using the schema of equivalence -- Process algebra with combinators -- Is game semantics necessary...”
Cover Image
Read Now

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... unsolvable queries for definite logic programs -- Staging static analyses using abstraction-based program...”