Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings.

Robin N. Banerjee Andrés Bujosa

Published in: FoIKS (2002)

Keyphrases

natural language
relational algebra
higher order
data model
modular architecture
algebraic expressions
algebraic geometry
modular structure
boolean algebra
text representation
syntactic analysis
syntactic information
semantic representation
regularization term
language generation
theorem prover
query language