EPTCS 23 - DICE 2010
Patrick Baillot (Ed.): Proceedings International Workshop on Developments in Implicit Computational complExity. 2010 EPTCS 23 [ contents ]- Amir M. Ben-Amram: On Decidable Growth-Rate Properties of Imperative Programs. ... 1-14
- Guillaume Bonfante: Observation of implicit complexity by non confluence. ... 15-29
- Aloïs Brunel, Kazushige Terui: Church => Scott = Ptime: an application of resource sensitive realizability. ... 31-46
- Ugo Dal Lago, Simone Martini, Margherita Zorzi: General Ramified Recurrence is Sound for Polynomial Time. ... 47-62
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team