SODA

The complete axiomatization of cs-congruence

Parrow, Joachim and Sjödin, Peter (1994) The complete axiomatization of cs-congruence. In: Proceedings of STACS '94, 24-26 Feb 1994, Caen, France.

[img]Postscript
170Kb

Item Type:Conference or Workshop Item (Paper)
ID Code:3374
Deposited By:INVALID USER
Deposited On:01 Jun 2009
Last Modified:18 Nov 2009 16:21

Repository Staff Only: item control page