'The Standard Logic for Z': A Clarification.

Published in: Formal Aspects Comput. (1999)

Keyphrases

multi valued
computational properties
databases
machine learning
case study
relational databases
automated reasoning
asynchronous circuits