Pumping lemmas for term languages
type: Item
instance of: scholarly article
title: Pumping lemmas for term languages
zbMATH Open document ID: 0388.68071
DOI: 10.1016/0022-0000(78)90012-0
published in: Journal of Computer and System Sciences
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 3604384
author: Tim Maibaum
MaRDI profile type: Publication
full work available at URL: 0022-0000(78)90012-0
OpenAlex ID: W1973562412
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Indexed Grammars—An Extension of Context-Free Grammars
cites work: Q3292904
cites work: Tree generating regular systems
cites work: On derivation trees of indexed grammars - an extension of the uvwxy- theorem
cites work: A generalized approach to formal languages
cites work: Q3239817
cites work: Intercalation theorems for stack languages
cites work: Mappings and grammars on trees
cites work: Generalized sequential machine maps
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
Wikidata QID: Q124819654
description: scientific article; zbMATH DE number 3604384