PhilPapers
PhilPeople
PhilArchive
PhilEvents
PhilJobs
Sign in
Sign in
News Feed
Find Philosophers
Departments
Radar
Help
Drag to reposition
Save
Cancel
Anat Tal
Home
Publications
1
Most Recent
Most Downloaded
News and Updates
More details
All publications (
1
)
5
The algorithmic Insolubility of the Problem of Recognizing the Representability of recursive events in finite automata
with M. A. Aizerman, L. A. Gusev, and I. M. Smirnova
Journal of Symbolic Logic
37 (2): 410-411. 1972.