Skip to content

On Transitive Closure Logic.

Erich Grdel

VenueBCSL
Year1991
ProceedingsCSL

Browse the full CSL paper archive.