Equational Logic of Circular Data Type Specification.
Stephen L. BloomZoltán ÉsikPublished in: Theor. Comput. Sci. (1989)
Keyphrases
- data types
- user defined
- asynchronous circuits
- data model
- database systems
- database management systems
- linear temporal logic
- data structure
- transition systems
- state machine
- horn clauses
- hough transform
- formal language
- abstract data types
- data sets
- logic programming
- theorem proving
- modal logic
- data mining algorithms
- active rules
- object relational
- model checking
- nearest neighbor
- real world