Timed tree automata with an application to temporal logic.
type: Item
instance of: scholarly article
title: Timed tree automata with an application to temporal logic.
zbMATH Open document ID: 1033.68065
author: Salvatore La Torre
author: Margherita Napoli
published in: Acta Informatica
publication date: 2002-08-14T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1780838
zbMATH Keywords: finite automata
zbMATH Keywords: timed \(\omega\)-sequences
zbMATH Keywords: \(\omega\)-trees
MaRDI profile type: Publication
full work available at URL: s002360100067
OpenAlex ID: W2017147035
DOI: 10.1007/S002360100067
description: scientific article; zbMATH DE number 1780838