Decidability questions for a ring of Laurent polynomials.

Alla Sirokofskich

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

type checking
data types
answer questions
data sets
real world
website
correct answers
open questions
real time
knowledge base
decision trees
higher order
question answer
algebraic structure