Skip to content

Local Equational Logic.

Virgil Emil Cazanescu

VenueBFCT
Year1993
ProceedingsFCT

Browse the full FCT paper archive.