tlooto
S’inscrire
Mathematics

Weak Second‐Order Arithmetic and Finite Automata

J. Büchi

1960MATHEMATICAL LOGIC QUARTERLY

DOI: 10.1002/malq.19600060105

Résumé tlooto

The formalism of regular expressions was introduced by S. C. Kleene to obtain the following basic theorems.

Résumé

Le résumé n’est pas disponible.

Format de citation

BÜCHI, J. Weak second‐order arithmetic and finite automata. MATHEMATICAL LOGIC QUARTERLY, 1960, 6: 66–92.