Skip to content

A Fragment of First Order Logic Adequate for Observation Equivalence.

Halit Oguztzn

VenueBCSL
Year1991
ProceedingsCSL

Browse the full CSL paper archive.