A. Mora
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1993
A Prototype System for Equational Constructive Negation.
Proceedings of the Logic Programming, 1993