×

Found 8 Documents (Results 1–8)

When is metric temporal logic expressively complete? (English) Zbl 1356.03063

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 380-394 (2013).
MSC:  03B44
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Main Field