implicit computational complexity Recently Published Documents

Reversible Computing ◽

The Implicit Computational Complexity Flavor of Automata

Arsenal Augusta University’s Undergraduate Research Journal ◽

10.21633/issn.2380.5064/s.2021.04.01.15 ◽

2021 ◽

Vol 4 (1) ◽

pp. 15-15

Author(s):

Mark Holcomb ◽

Clement Aubert

Keyword(s):

Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.298.6 ◽

2019 ◽

Vol 298 ◽

pp. 75-80

Author(s):

Brian F. Redmond

Keyword(s):

Resource Analysis ◽

Implicit Computational Complexity ◽

Joint Workshop

Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.298.7 ◽

2019 ◽

Vol 298 ◽

pp. 81-86

Author(s):

Martin Avanzini ◽

Michael Schaper ◽

Georg Moser

Keyword(s):

Resource Analysis ◽

Implicit Computational Complexity ◽

Joint Workshop

Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.298.0 ◽

2019 ◽

Vol 298 ◽

Author(s):

Steffen Jost

Keyword(s):

Resource Analysis ◽

Implicit Computational Complexity ◽

Joint Workshop

Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs

Journal of Automated Reasoning ◽

10.1007/s10817-019-09530-2 ◽

2019 ◽

Vol 63 (4) ◽

pp. 813-855

Author(s):

Patrick Baillot ◽

Gilles Barthe ◽

Ugo Dal Lago

Keyword(s):

Special issue – Developments in implicit computational complexity, 2014 and 2015

Information and Computation ◽

10.1016/j.ic.2018.05.002 ◽

2018 ◽

Vol 261 ◽

pp. 1-2

Author(s):

Marco Gaboardi ◽

Ulrich Schöpp

Keyword(s):

Special Issue ◽

Proceedings 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.248.0 ◽

2017 ◽

Vol 248 ◽

Author(s):

Guillaume Bonfante ◽

Georg Moser

Keyword(s):

Resource Analysis ◽

Generalised dynamic ordinals — universal measures for implicit computational complexity

Logic Colloquium '02 ◽

10.1017/9781316755723.004 ◽

2017 ◽

pp. 48-74 ◽

Cited By ~ 1

Author(s):

Arnold Beckmann

Keyword(s):

Developments in implicit computational complexity

Information and Computation ◽

10.1016/j.ic.2014.10.004 ◽

2015 ◽

Vol 241 ◽

pp. 1-2

Author(s):

Jean-Yves Marion

Keyword(s):