Snapshot Generation in a Constructive Object-Oriented Modeling Language
Logic-Based Program Synthesis and Transformation
A Robust Semantics Hides Fewer Errors
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Actions Over a Constructive Semantics for Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
$\boldsymbol {\cal BC\!D\!L}$: Basic Constructive Description Logic
Journal of Automated Reasoning
Actions Over a Constructive Semantics for Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
| Hi-index | 5.23 |