Browse wiki
From Semantic Portal Wiki
| Any ist-ao quantified context logic has a first-order semantics |
| Author | Selene Makarios +, Karl Heuer + |
|---|---|
| Bibtype | techreport + |
| Institution | Knowledge Systems, AI Laboratory + |
| Key | KSL-06-11 + |
| Modification dateThis property is a special property in this wiki. | 1 May 2009 13:35:51 + |
| Number | KSL-06-11 + |
| Tag | Computer science + |
| Title | Any ist-AO Quantified Context Logic has a First-Order Semantics + |
| Tr id | KSL-06-11 + |
| Year | 2006 + |
| Categories | Technical Report, Publication, KSL Technical Report |
| hide properties that link here |
| No properties link to this page. |
