On equations and first-order theory of one-relator monoids.

Albert Garreta Robert D. Gray

Published in: Inf. Comput. (2021)

Keyphrases

first order logic
mathematical model
higher order
social networks
theoretical framework
close relation
database
formal theory
theoretical basis
computational model
relational databases
real time
expert systems
multiscale
bayesian networks
data mining
quantifier elimination