A formal model of correctness in a cadastre-Reference-Cited by-同舟云学术

A formal model of correctness in a cadastre

Published:2002-09 Issue:5 Volume:26 Page:465-482
ISSN:0198-9715
Container-title:Computers, Environment and Urban Systems
language:en
Short-container-title:Computers, Environment and Urban Systems

Author:

Bittner Steffen,Frank Andrew U.

Publisher

Elsevier BV

Subject

Urban Studies,General Environmental Science,Ecological Modelling,Geography, Planning and Development

Reference19 articles.

1. Al-Taha, K. (1992). Temporal reasoning in cadastral systems. PhD thesis, University of Maine.

2. Grundbuch, Grundstück, Grenze: Handbuch Zur Grundbuchordung unter Berücksichtigung Katasterrechtlicher Fragen;Bengel,1995

3. Das Bürgerliche Gesetzbuch,1987

4. Bittner, S. (1998), Die Modellierung eines Grundbuchsystems im Situationskalkül. Diploma thesis, University of Leipzig, Department of Computer Science.

5. Bratko, I. (1990). PROLOG—programming for Artificial Intelligence (2nd ed.). Addison-Wesley.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Smart Contract Application for Managing Land Administration System Transactions;IEEE Access;2022

2. Deep learning-based method for reconstructing three-dimensional building cadastre models from aerial images;Journal of Applied Remote Sensing;2019-04-25

3. Domain model for cadastral systems with land use component;Survey Review;2017-10-30

4. Andrew U. Frank’s impact on research in land administration;International Journal of Geographical Information Science;2017-10-11

5. Design research for cadastral systems;Computers, Environment and Urban Systems;2011-01