MetateM: An introduction
type: Item
instance of: scholarly article
title: MetateM: An introduction
zbMATH Open document ID: 0838.68014
DOI: 10.1007/BF01211631
author: Yanyan Li
published in: Formal Aspects of Computing
publication date: 1996-01-07T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 829876
zbMATH Keywords: modal logics
zbMATH Keywords: temporal logics
zbMATH Keywords: reactive systems
zbMATH Keywords: non-procedural languages
zbMATH Keywords: METATEM
describes a project that uses: METATEM
MaRDI profile type: Publication
cites work: Towards a general theory of action and time
cites work: Temporal logic programming
cites work: Proving termination properties of prolog programs: A semantic approach
cites work: Q4028772
cites work: Q4839044
cites work: Using branching time temporal logic to synthesize synchronization skeletons
cites work: Q4264717
cites work: Q3729994
cites work: Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
cites work: Temporal annotated constraint logic programming
cites work: Q3813270
cites work: Q3789040
cites work: A Temporal extension of Prolog
cites work: Q3711745
cites work: Q3680239
cites work: Synthesis of Communicating Processes from Temporal Logic Specifications
cites work: Q4518440
cites work: Towards a unified theory of intensional logic programming
cites work: Q4205072
cites work: Temporal logic CTL \(+\) Prolog
full work available at URL: https://doi.org/10.1007/bf01211631
OpenAlex ID: W2001516787
description: scientific article; zbMATH DE number 829876