Solving sequential conditions by finite-state strategies
Open Access
- 1 January 1969
- journal article
- Published by American Mathematical Society (AMS) in Transactions of the American Mathematical Society
- Vol. 138, 295-311
- https://doi.org/10.1090/s0002-9947-1969-0280205-0
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 12 references indexed in Scilit:
- Definability in the monadic second-order theory of successorThe Journal of Symbolic Logic, 1969
- Dissipative ordinary differential operators of even orderTransactions of the American Mathematical Society, 1967
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966
- Symposium on Decision Problems: On a Decision Method in Restricted Second Order ArithmeticPublished by Elsevier ,1966
- Decision methods in the theory of ordinalsBulletin of the American Mathematical Society, 1965
- Decision Problems of Finite Automata Design and Related ArithmeticsTransactions of the American Mathematical Society, 1961
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960
- Some results in church's restricted recursive arithmeticThe Journal of Symbolic Logic, 1957
- Representation of Events in Nerve Nets and Finite AutomataPublished by Walter de Gruyter GmbH ,1956
- Arithmetical Predicates and Function QuantifiersTransactions of the American Mathematical Society, 1955