Semantics of temporal constrained objects
type: Item
instance of: scholarly article
title: Semantics of temporal constrained objects
author: Jinesh M. Kannimoola
author: Bharat Jayaraman
author: Krishnashree Achuthan
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2021-02-26T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 7316065
zbMATH Keywords: temporal constrained objects
zbMATH Keywords: series variables
zbMATH Keywords: metric temporal operators
zbMATH Keywords: constraint logic programs
zbMATH Keywords: temporal constraint logic programs
zbMATH Keywords: semantics
MaRDI profile type: Publication
full work available at URL: j.jlamp.2020.100632
OpenAlex ID: W3106836616
cites work: The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
cites work: Q3339245
cites work: Q4518440
cites work: Temporal logic programming
cites work: A timed concurrent constraint language.
cites work: Timed default concurrent constraint programming
cites work: A theory of timed automata
cites work: A really temporal logic
cites work: Q3999206
cites work: Programming in metric temporal logic
cites work: Q4704237
cites work: Contributions to the Theory of Logic Programming
cites work: Analysis of Linear Hybrid Systems in CLP
cites work: Q4037378
cites work: Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
DOI: 10.1016/J.JLAMP.2020.100632
description: scientific article; zbMATH DE number 7316065