A new proof for the decidability of D0L ultimate periodicity

Vesa Halava Tero Harju Tomi Kärki

Published in: WORDS (2011)

Keyphrases

decision procedures
description logics
theorem proving
database
query answering
multiscale
data management
theorem prover
data sets
neural network
genetic algorithm
data integration
proof planning
mathematical proofs
geometry theorem proving