Describing Symmetrical Structures in Logic.

Paul A. Strooper Maarten H. van Emden

Published in: Ann. Math. Artif. Intell. (1993)

Keyphrases

modal logic
predicate logic
logic programming
asynchronous circuits
delay insensitive
decision making
website
data model
classical logic
computational properties