Skip to content

Axiomatising Tree-Interpretable Structures.

Achim Blumensath

VenueASTACS
Year2002
ProceedingsSTACS

Browse the full STACS paper archive.