A useful device for showing the solvability of some decision problems
type: Item
instance of: scholarly article
title: A useful device for showing the solvability of some decision problems
zbMATH Open document ID: 0338.68046
DOI: 10.1016/S0022-0000(76)80026-8
author: Oscar H. Ibarra
author: Chul Eung Kim
published in: Journal of Computer and System Sciences
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 3529427
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
cites work: Q5576254
cites work: Bounded Algol-Like Languages
cites work: A Remark on Code Sets and Context-Free Languages
cites work: Multi-tape and multi-head pushdown automata
cites work: Q5592246
cites work: A note on semilinear sets and bounded-reversal multihead pushdown automata
cites work: Parallel program schemata
cites work: On Context-Free Languages
cites work: A variant of a recursively unsolvable problem
cites work: On Multi-Head Finite Automata
cites work: Bounded-reversal multihead finite automata languages
description: scientific article; zbMATH DE number 3529427