Skip to content

On the Logical Definability of Some Rational Trace Languages.

Christian Choffrut, Leucio Guerra

VenueASTACS
Year1993
ProceedingsSTACS

Browse the full STACS paper archive.