Proof of the Brlek-Reutenauer conjecture.

L'ubomíra Balková Edita Pelantová Stepán Starosta

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

Keyphrases

theorem prover
mathematical proofs
geometry theorem proving
image segmentation
data structure
cooperative
object recognition
theorem proving
automated theorem proving
user interface
proof search
natural deduction
linear logic
databases
digital libraries
information systems
data mining