Tree acceptors and some of their applications
type: Item
instance of: scholarly article
title: Tree acceptors and some of their applications
zbMATH Open document ID: 0212.02901
DOI: 10.1016/S0022-0000(70)80041-1
author: John Doner
published in: Journal of Computer and System Sciences
publication date: 1970-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 3335930
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Q5618355
cites work: Q5608007
cites work: Decision methods in the theory of ordinals
cites work: Finite state languages
cites work: An application of games to the completeness problem for formalized theories
cites work: Decision Problems of Finite Automata Design and Related Arithmetics
cites work: The first order properties of products of algebraic systems
cites work: Q3285871
cites work: Q5576254
cites work: Two Families of Languages Related to ALGOL
cites work: Operations Which Preserve Definability in Languages
cites work: Q5517667
cites work: Q5541339
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Restricted Set-Theoretical Definitions in Arithmetic
cites work: Undecidable theories
description: scientific article