Decidability and Specker sequences in intuitionistic mathematics.

Mohammad Ardeshir Rasoul Ramezanian

Published in: Math. Log. Q. (2009)

Keyphrases

computer science
hidden markov models
description logics
linear logic
data sets
query answering
theorem prover
fuzzy set theory
genetic algorithm
learning algorithm
variable length
logical framework
decision procedures
sequence analysis
long sequences