Alphabets: An Extended Polyhedral Equational Language.

Sanjay V. Rajopadhye Samik Gupta DaeGon Kim

Published in: IPDPS Workshops (2011)

Keyphrases

natural language
language learning
programming language
theorem proving
databases
real world
information retrieval
convex hull
object oriented programming
genetic algorithm
multi agent
context dependent
language processing
operational semantics
equational theories