General Ramified Recurrence is Sound for Polynomial Time

JOURNAL ARTICLE published 5 May 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Ugo Dal Lago | Simone Martini | Margherita Zorzi

JOURNAL ISSUE published 24 April 2012 in Electronic Proceedings in Theoretical Computer Science

Editors: Santiago Escobar

JOURNAL ISSUE published 24 August 2020 in Electronic Proceedings in Theoretical Computer Science

Editors: Jurriaan Hage

JOURNAL ISSUE published 2 March 2018 in Electronic Proceedings in Theoretical Computer Science

Editors: Pedro Quaresma | Walther Neuper

Re-verification of a Lip Synchronization Protocol using Robust Reachability

JOURNAL ARTICLE published 28 March 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Piotr Kordy | Rom Langerak | Jan Willem Polderman

Polynomial-time computability in analysis: a survey

JOURNAL ARTICLE published 3 June 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Ker-I Ko

JOURNAL ISSUE published 31 October 2011 in Electronic Proceedings in Theoretical Computer Science

Editors: Jiří Barnat | Keijo Heljanko

JOURNAL ISSUE published 6 March 2017 in Electronic Proceedings in Theoretical Computer Science

Editors: Sujata Ghosh | R. Ramanujam

Measurement Based Quantum Computation on Fractal Lattices

JOURNAL ARTICLE published 9 June 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Damian Markham | Janet Anders | Michal Hajdušek | Vlatko Vedral

Optimizing Computation of Recovery Plans for BPEL Applications

JOURNAL ARTICLE published 17 September 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Jocelyn Simmonds | Shoham Ben-David | Marsha Chechik

Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems

JOURNAL ARTICLE published 30 July 2009 in Electronic Proceedings in Theoretical Computer Science

Authors: Jürgen Dassow | Giovanni Pighizzini | Bianca Truthe

Semantics of a Typed Algebraic Lambda-Calculus

JOURNAL ARTICLE published 9 June 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Benoît Valiron

JOURNAL ISSUE published 28 March 2010 in Electronic Proceedings in Theoretical Computer Science

Editors: Manuela Bujorianu | Michael Fisher

JOURNAL ISSUE published 18 February 2011 in Electronic Proceedings in Theoretical Computer Science

Editors: Johannes Reich | Bernd Finkbeiner

Equilibrium and Termination

JOURNAL ARTICLE published 9 June 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Vincent Danos | Nicolas Oury

JOURNAL ISSUE published 6 September 2021 in Electronic Proceedings in Theoretical Computer Science

Editors: Temur Kutsia

Computational Complexity in Analysis

JOURNAL ARTICLE published 3 June 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Robert Rettinger

A General Notion of Useful Information

JOURNAL ARTICLE published 25 June 2009 in Electronic Proceedings in Theoretical Computer Science

Authors: Philippe Moser

Smarter Features, Simpler Learning?

JOURNAL ARTICLE published 31 December 2019 in Electronic Proceedings in Theoretical Computer Science

Authors: Sarah Winkler | Georg Moser

Proceedings Tenth International Workshop on Rule-Based Programming

JOURNAL ARTICLE published 30 March 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Anamaria Martins Moreira | Ian Mackie