Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
type: Item
instance of: scholarly article
title: Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
zbMATH Open document ID: 0813.68029
DOI: 10.1007/3-540-58976-7
published in: Lecture Notes in Computer Science
publication date: 1995-05-08T00:00:00Z
review text: The articles of this volume will be reviewed individually in CompuScience (database).
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 752651
zbMATH Keywords: Chambery (France)
zbMATH Keywords: IJCAI '93
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
zbMATH Keywords: Temporal logics
zbMATH Keywords: Executable modal
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-58976-7
OpenAlex ID: W2480691574
description: scientific article; zbMATH DE number 752651