A short proof of a theorem of J.-E. Pin.

Michiel de Bondt

Published in: CoRR (2018)

Keyphrases

interactive theorem proving
theorem proving
data sets
databases
multiresolution
artificial intelligence
social networks
three dimensional
preprocessing
expert systems
mathematical proofs