Skip to content

Equivalences among Various Logical Frameworks of Partial Algebras.

Till Mossakowski

VenueBCSL
Year1995
ProceedingsCSL

Browse the full CSL paper archive.