On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification).
Vincenzo MancaAntonino SalibraGiuseppe ScolloPublished in: MFCS (1989)
Keyphrases
- asynchronous circuits
- lambda calculus
- theorem proving
- automated reasoning
- higher order
- horn clauses
- state machine
- transition systems
- active rules
- linear temporal logic
- lattice theory
- multi valued
- predicate calculus
- predicate logic
- classical logic
- specification language
- equational theories
- high level
- case study
- business rules
- theorem prover
- modal logic
- operational semantics
- expressive power
- model checking
- relational databases
- expert systems
- data sets
- real time
- database