Les modalités de la correction totale
Page 1
Displaying 1 – 4 of 4
Local normal forms for first-order logic with applications to games and automata.
Schwentick, Thomas, Barthelmann, Klaus (1999)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Locally testable semigroups.
Y. Zalcstein (1972)
Semigroup forum
Logic and -recognizable sets of integers.
Bruyère, Véronique, Hansel, Georges, Michaux, Christian, Villemaire, Roger (1994)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Currently displaying 1 – 4 of 4
Page 1