A Deterministic Logical Semantics for Esterel.
Olivier TardieuPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- circuit design
- logical properties
- model theoretic
- logical language
- logical framework
- formal semantics
- fixpoint semantics
- semantic information
- dynamic logic
- logical reasoning
- logic programming
- predicate calculus
- logical rules
- semantic representation
- logical structure
- logical operations
- logical theories
- database
- default reasoning
- deductive databases
- conceptual model
- database systems
- case study
- learning algorithm
- genetic algorithm
- neural network
- databases