Search alternatives:
"cure" » "core"
"pure" » "pre"
"care" » "case"

1
Published 1997
Springer Berlin Heidelberg
Table of Contents: ...Topological semantics for hybrid systems -- Domain-free pure type systems -- Generic queries over...