Initial Logic and Induction in Algebraic Specification.
Dorel LucanuPublished in: Sci. Ann. Cuza Univ. (2003)
Keyphrases
- formal language
- asynchronous circuits
- algebraic structure
- logic programming
- transition systems
- high level
- linear temporal logic
- inductive learning
- formal verification
- computer algebra
- state machine
- classical logic
- computational properties
- operational semantics
- concept formation
- predicate logic
- programming language
- rough sets