On the completeness of inference systems for inequational deductions.
Contributors: Queen Mary College. Department of Computer Science and Statistics.
Series: Report -- No.399
Publisher: Queen Mary College, Department ofComputer Science and Statistics
Published: 1987
Place of publication: London
Language: eng
Number of pages: 23