Publication
Title
Sound and complete set of axioms for the deduction of comparison predicates
Author
Dekeyser, Stijn
Paredaens, Jan
Language
English
Source (series)
Technical report of Universiatire Instelling Antwerpen
Publication
Antwerp
:
Universitaire Instelling Antwerpen
,
2001
UAntwerpen
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Publication type
Minutes and reports
Affiliation
Publications with a UAntwerp address
External links
Record
Identifier
Creation
08.10.2008
Last edited
04.03.2024
To cite this reference
https://hdl.handle.net/10067/575970151162165141