researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Electronic Notes in Theoretical Computer Science
Home
Index
Info
Issue
Volume
90
, Issue
1
1
--
0
Anuj Dawar
.
Preface
3
--
14
Olivier Bournez
,
Felipe Cucker
,
Paulin Jacobé de Naurois
,
Jean-Yves Marion
.
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH
15
--
35
Lars Kristiansen
,
Karl-Heinz Niggl
.
The Garland Measure and Computational Complexity of Stack Programs
37
--
44
Emanuele Covino
,
Giovanni Pani
.
A Refinement of the µ-measure for Stack Programs
45
--
47
Yanhong A. Liu
.
Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees