Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
The articles of this volume will be reviewed individually in CompuScience (database).
scientific article; zbMATH DE number 752651