Augmenting the discrete timed automaton with other data structures.
type: Item
instance of: scholarly article
title: Augmenting the discrete timed automaton with other data structures.
zbMATH Open document ID: 1061.68094
DOI: 10.1016/S0304-3975(01)00269-9
author: Oscar H. Ibarra
author: Jianwen Su
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1857061
MaRDI profile type: Publication
cites work: MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS
cites work: Q4270062
cites work: Q2754074
cites work: Reversal-Bounded Multicounter Machines and Their Decision Problems
cites work: Q4536602
cites work: Verification in loosely synchronous queue-connected discrete timed automata.
cites work: Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
full work available at URL: s0304-3975(01)00269-9
OpenAlex ID: W1973678919
description: scientific article; zbMATH DE number 1857061