Hierarchical Digging is EXPTIME (DICE-FOPARA 2019 - Workshop on Developments in Implicit Computational complExity & Foundational & Practical Aspects of Resource Analysis)

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Track

DICE-FOPARA 2019

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sat 6 Apr 2019 16:45 - 17:30 at S11 - IV Chair(s): Damiano Mazza

Abstract

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

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

16:00 - 18:00	IVDICE-FOPARA at S11 Chair(s): Damiano Mazza CNRS

16:00 45m Talk		Pointers in Recursion: Exploring the Tropics DICE-FOPARA Paulin Jacobé De Naurois
16:45 45m Talk		Hierarchical Digging is EXPTIME DICE-FOPARA Brian Redmond

Hierarchical Digging is EXPTIME

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

Brian Redmond

ETAPS 2019

Co-hosted Conferences

Workshops

Hierarchical Digging is EXPTIME

Program Display Configuration

Program Display Configuration

Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Brian Redmond

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