Diophantine Undecidability in Some Rings of Algebraic Numbers of Totally Real Infinite Extensions of Q.

Alexandra Shalpentokh

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

Keyphrases

description logics
database
databases
higher order
data sets
genetic algorithm
artificial intelligence
information systems
artificial neural networks
special case
efficient implementation