Skip to content

Counting Modulo Quantifiers on Finite Linearly Ordered Trees.

Juha Nurmonen

VenueA*LICS
Year1996
ProceedingsLICS

Browse the full LICS paper archive.