Login / Signup
Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory.
Jan A. Bergstra
John V. Tucker
Published in:
A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Keyphrases
</>
data types
data model
data structure
database management systems
user defined
database systems
equational theories
database
object relational
theoretical framework
database objects
data mining algorithms
logical design
abstract data types
database server
theorem proving
data mining
real world
databases