Skip to content

Counting in the Two Variable Guarded Logic with Transitivity.

Lidia Tendera

VenueASTACS
Year2005
ProceedingsSTACS

Browse the full STACS paper archive.