Login / Signup
Undecidability of the exists*forall* Part of the Theory of Ground Term Algebra Modulo an AC Symbol.
Jerzy Marcinkowski
Published in:
RTA (1999)
Keyphrases
</>
theoretical basis
data model
set theory
boolean algebra
data sets
search engine
information systems
state space
description logics
probability theory
general theory
algebraic operations
algebraic geometry
algebraic expressions