scientific article; zbMATH DE number 1444726

From MaRDI portal

Publication:4952306

Jump to:navigation, search

zbMath0945.03022MaRDI QIDQ4952306

Angelo Montanari, Alberto Policriti, Adriano Peron

Publication date: 9 May 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidability temporal logic metric temporal structures temporal layers

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (1)

Decidability results for metric and layered temporal logics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4952306&oldid=19375565"