Skip to content
cs-conference-ranking.org

ATL* Satisfiability Is 2EXPTIME-Complete.

Sven Schewe

VenueA*ICALP
Year2008
ProceedingsICALP (2)
DBLP recordconf/icalp/Schewe08 ↗

Browse the full ICALP paper archive.