Cobham's Ttheorem seen through Büchi's Theorem.

Christian Michaux Roger Villemaire

Published in: ICALP (1993)

Keyphrases

data sets
artificial intelligence
neural network
machine learning
social networks
optimal solution
pattern recognition
interactive theorem proving