Found: 4
Select item for more details and to access through your institution.
Formal Specification for Spatial Information Databases Integration Framework (SIDIF).
- Published in:
- Telkomnika, 2011, v. 9, n. 1, p. 81, doi. 10.12928/telkomnika.v9i1.672
- By:
- Publication type:
- Article
Investigating Z.
- Published in:
- Journal of Logic & Computation, 2000, v. 10, n. 1, doi. 10.1093/logcom/10.1.43
- By:
- Publication type:
- Article
Sets, types and type-checking.
- Published in:
- Journal of Logic & Computation, 1999, v. 9, n. 6, doi. 10.1093/logcom/9.6.959
- By:
- Publication type:
- Article
Forthcoming papers.
- Published in:
- 1999
- Publication type:
- Abstract