Concurrent and Selective Logic Extraction with Timing Consideration.

Peyman Rezvani Massoud Pedram

Published in: DATE (2002)

Keyphrases

asynchronous circuits
automatic extraction
modal logic
information extraction
proof theory
logical framework
automated reasoning
delay insensitive
linear logic
deontic logic
epistemic logic
automatically extracting
learning algorithm
knowledge extraction
logic programming
relational databases
expert systems