Skip to content

Capturing Bisimulation-Invariant Ptime.

Martin Otto

Year1997
ProceedingsLFCS

Browse the full LFCS paper archive.