Pumping by Typing

DOI10.1109/LICS.2013.46zbMath1366.68120OpenAlexW4233402102MaRDI QIDQ5271077

Naoki Kobayashi

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2013.46

zbMATH Keywords

pumping lemma

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (3)

A characterization of lambda-terms transforming numerals ⋮ Unnamed Item ⋮ The Complexity of the Diagonal Problem for Recursion Schemes

This page was built for publication: Pumping by Typing