Errata: "An equational axiomatization of associative Newman algebras".
Boleslaw SobocinskiPublished in: Notre Dame J. Formal Log. (1973)
Keyphrases
- theorem proving
- equational theories
- community structure
- complex networks
- associative memory
- topological spaces
- distributive lattices
- spatial reasoning
- data sets
- situation calculus
- general theory
- temporal reasoning
- case study
- clifford algebra
- theorem prover
- neural network
- utility theory
- relation algebra
- associative search
- community detection
- spreading activation
- horn clauses
- multiscale
- image sequences
- website
- data mining
- databases