Skip to content

Logic of Predicates with Explicit Substitutions.

Marek A. Bednarczyk

VenueBMFCS
Year1996
ProceedingsMFCS

Browse the full MFCS paper archive.