The Hanf number of stationary logic.

Matt Kaufmann Saharon Shelah

Published in: Notre Dame J. Formal Log. (1986)

Keyphrases

small number
maximum number
genetic algorithm
real time
website
case study
learning environment
computational complexity
fixed number