Back to Results
First PageMeta Content
Non-classical logic / Edsger W. Dijkstra / Predicate transformer semantics / FO / First-order logic / Null / Second-order logic / Model theory / Free logic / Transitive closure


Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK
Add to Reading List

Document Date: 2005-09-09 08:46:00

Open Document

File Size: 167,53 KB

Share Result on Facebook