Q4636567
type: Item
instance of: scholarly article
zbMATH Open document ID: 1391.68066
author: Benedikt Bollig
publication date: 2018-04-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1602.05940
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 6862048
zbMATH Keywords: one-counter automata
zbMATH Keywords: inclusion checking
zbMATH Keywords: observability
zbMATH Keywords: visibly one-counter automata
zbMATH Keywords: strong automata
MaRDI profile type: Publication
arXiv ID: 1602.05940
DOI: 10.4230/LIPICS.FSTTCS.2016.20
description: scientific article; zbMATH DE number 6862048