Decision problems forω-automata
type: Item
instance of: scholarly article
title: Decision problems forω-automata
zbMATH Open document ID: 0182.02402
DOI: 10.1007/BF01691063
published in: Mathematical Systems Theory
publication date: 1969-01-01T00:00:00Z
zbMATH DE Number: 3289458
zbMATH Keywords: recursion theory, constructive mathematics
Wikidata QID: Q61687239
author: Lawrence H. Landweber
MaRDI profile type: Publication
cites work: Solving Sequential Conditions by Finite-State Strategies
cites work: Definability in the monadic second-order theory of successor
cites work: Sets of Numbers Defined by Finite Automata
cites work: Testing and generating infinite sequences by a finite automaton
cites work: Q5614666
full work available at URL: https://doi.org/10.1007/bf01691063
OpenAlex ID: W117768600
description: scientific article; zbMATH DE number 3289458