On the Sharpness and the Single-Conclusion Property of Basic Justification Models

Logical Foundations of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-72056-2_13 ◽

2017 ◽

pp. 211-220 ◽

Cited By ~ 2

Author(s):

Vladimir N. Krupski

Download Full-text