Department of Computer Science, Technical University of Denmark - DTU Orbit

Department of Computer Science, Technical University of Denmark

Local database

Publisher

View graph of relations

Publications

(2)

Published
Base System Verification
Publication: Research - peer-review › Report – Annual report year: 1991
Published
Distributed Implementation of DATALOG
Publication: Research - peer-review › Report – Annual report year: 1990

ID: 2824424