L(A)=L(B)? A simplified decidability proof.

Géraud Sénizergues

Published in: Theor. Comput. Sci. (2002)

Keyphrases

decision procedures
theorem proving
description logics
theorem prover
artificial intelligence
query answering
proof planning
digital libraries
genetic algorithm
image sequences
hidden markov models
automated theorem proving
mathematical proofs
geometry theorem proving