An edition of Computational aspects of an order-sorted logic with term declarations (1989)

CSL'88

2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science)

By Manfred Schmidt-Schauss