Order Independent Temporal Properties

DOI10.1093/logcom/14.2.277zbMath1101.68020OpenAlexW2014832312MaRDI QIDQ4820468

Nicole Bidoit, Luc Segoufin, Sandra de Amo

Publication date: 15 October 2004

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-02887779/file/journal.pdf

zbMATH Keywords

Databasetemporal logicexpressivenessquery languages

Mathematics Subject Classification ID

Database theory (68P15) Temporal logic (03B44)

This page was built for publication: Order Independent Temporal Properties