Search Results

Abstract

Cite as

Claudia Carapelle and Markus Lohrey. Temporal Logics with Local Constraints (Invited Talk). In 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 41, pp. 2-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

@InProceedings{carapelle_et_al:LIPIcs.CSL.2015.2,
  author =	{Carapelle, Claudia and Lohrey, Markus},
  title =	{{Temporal Logics with Local Constraints}},
  booktitle =	{24th EACSL Annual Conference on Computer Science Logic (CSL 2015)},
  pages =	{2--13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-90-3},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{41},
  editor =	{Kreutzer, Stephan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2015.2},
  URN =		{urn:nbn:de:0030-drops-54465},
  doi =		{10.4230/LIPIcs.CSL.2015.2},
  annote =	{Keywords: Temporal logics with constraints, concrete domains, LTL, CTL*, ECTL*}
}