Title
Sound and complete set of axioms for the deduction of comparison predicates Sound and complete set of axioms for the deduction of comparison predicates
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Publication type
report
Publication
Antwerp :Universitaire Instelling Antwerpen, [*]
Source (series)
Technical report of Universiatire Instelling Antwerpen
Carrier
E
Target language
English (eng)
Affiliation
University of Antwerp
Handle