|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yanhong A. Liu |
Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees.  |
ICC@LICS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Covino, Giovanni Pani |
A Refinement of the µ-measure for Stack Programs. |
ICC@LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Kristiansen, Karl-Heinz Niggl |
The Garland Measure and Computational Complexity of Stack Programs. |
ICC@LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion |
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH. |
ICC@LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar |
Foreword. |
ICC@LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar (eds.) |
Proceedings of the Fifth International Workshop on Implicit Computational Complexity, ICC@LICS 2003, Ottawa, Canada, June 26-27, 2003 |
ICC@LICS |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license