Dealing with multiple granularity of time in temporal logic programming
type: Item
instance of: scholarly article
title: Dealing with multiple granularity of time in temporal logic programming
zbMATH Open document ID: 0867.68027
author: Chuchang Liu
author: Mehmet A. Orgun
published in: Journal of Symbolic Computation
publication date: 1997-08-07T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1002414
zbMATH Keywords: chronolog
zbMATH Keywords: simulation systems
Wikidata QID: Q58185349
describes a project that uses: METATEM
MaRDI profile type: Publication
full work available at URL: jsco.1996.0072
OpenAlex ID: W2049351618
DOI: 10.1006/JSCO.1996.0072
description: scientific article; zbMATH DE number 1002414