Functional modelling for logic simulation.

Peter G. Raeth John M. Acken Gary B. Lamont John M. Borky

Published in: DAC (1981)

Keyphrases

simulation model
databases
simulation study
genetic algorithm
logic programming
numerical simulations
modal logic
asynchronous circuits
database
real world
information retrieval
simulation environment
computational properties
defeasible logic
predicate logic