ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 16:45 - 17:30 at S11 - IV Chair(s): Damiano Mazza

We show that Lafont’s system of Soft Linear Logic together with a hierarchical version of digging captures the complexity class EXPTIME.

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change