An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines
type: Item
instance of: scholarly article
title: An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines
zbMATH Open document ID: 0361.68082
DOI: 10.1016/0304-3975(76)90049-9
published in: Theoretical Computer Science
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68W99
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 3562531
author: Catriel Beeri
MaRDI profile type: Publication
full work available at URL: 0304-3975(76)90049-9
OpenAlex ID: W1986635205
cites work: The equivalence problem for deterministic finite-turn pushdown automata
cites work: Decidable Properties of Monadic Functional Schemas
cites work: On formalised computer programs
cites work: The equivalence problem for deterministic two-tape automata
cites work: On the Computational Complexity of Program Scheme Equivalence
description: scientific article; zbMATH DE number 3562531