Skip to content

A Logic of Coequations.

Jir Admek

VenueBCSL
Year2005
ProceedingsCSL

Browse the full CSL paper archive.