Skip to content

Logics Capturing Local Properties.

Leonid Libkin

VenueASTACS
Year2000
ProceedingsSTACS

Browse the full STACS paper archive.