|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Salvatore Caporaso, Nicola Corriero |
Kleene, Rogers and Rice Theorems Revisited in C and in Bash  |
CoRR  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Salvatore Caporaso |
A decidable characterization of the classes between lintime and exptime.  |
Inf. Process. Lett.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Caporaso |
A Predicative Harmonization of the Time and Provable Hierarchies  |
CoRR  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Salvatore Caporaso, Michele Zito, Nicola Galesi |
A predicative and decidable characterization of the polynomial classes of languages.  |
Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Caporaso, Emanuele Covino, Giovanni Pani |
A predicative approach to the classification problem.  |
J. Funct. Program.  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Salvatore Caporaso, Giovanni Pani, Emanuele Covino |
Incompleteness in Linear Time.  |
J. UCS  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Emanuele Covino, Giovanni Pani, Salvatore Caporaso |
Extending the Implicit Computational Complexity Approach to the Sub-elementary Time-Space Classes.  |
CIAC  |
2000 |
DBLP DOI BibTeX RDF |
time-space classes, elementary functions, implicit computational complexity |
| 1 | Salvatore Caporaso, Michele Zito |
On a Relation Between Uniform Coding and Problems of the Form DTIMEF(F) =? DSPACEF(F).  |
Acta Inf.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Caporaso, Michele Zito, Nicola Galesi, Emanuele Covino |
Syntactic Characterization in LISP of the Polynominal Complexity Classes and Hierarchy.  |
CIAC  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Caporaso |
Safe Turing Machines, Grzegorczyk Classes and Polytime.  |
Int. J. Found. Comput. Sci.  |
1996 |
DBLP BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|