Maliković, Marko, Croatia
-
CECIIS - 2010 - Data and Knowledge Bases
Modeling epistemic actions in dynamic epistemic logic using Coq
Abstract
PDF
-
CECIIS - 2010 - Data and Knowledge Bases
Solving shortest proof games by generating trajectories using the Coq proof management system
Abstract
PDF
This work is licensed under a
Creative Commons Attribution 3.0 License.
Copyright (©) 2007 - 2015. Faculty of Organization and Informatics. All Rights Reserved.