Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 68Q55 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1998 (1) 1999 (1) 2001 (2) 2006 (1) 2008 (1)
Publication types (Num. hits)
article(5) inproceedings(1)
Venues (Conferences, Journals, ...)
Arch. Math. Log.(3) Ann. Math. Artif. Intell.(1) Appl. Categorical Struct.(1) MFCS(1)
Authors
Karl-Heinz Niggl(2) Alex Thomo(1) Birgit Elbl(1) Edelmira Pasarella(1) Elvira Pino(1) Fernando Orejas(1) Gösta Grahne(1) Martin Hofmann 0001(1) Paqui Lucio(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 11 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
60Martin Hofmann 0001 The Strength of Non-size-increasing Computation (Introduction and Summary). Search on Bibsonomy MFCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF semantics AMS Classification: 03D15, 03C13, computational complexity, 68Q15, higher-order functions, finite model, 68Q55
27Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino A Functorial Framework for Constraint Normal Logic Programming. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 18C50, 68Q55
27Gösta Grahne, Alex Thomo Regular path queries under approximate semantics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 68Q68, 68Q55, AMS subject classification 68P15, 68Q45
27Birgit Elbl Cut elimination for a calculus with context-dependent rules. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03F05, 03B60, 68N17, 68Q55
27Karl-Heinz Niggl Subrecursive functions on partial sequences. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991): 03D15, 03D45, 03D65, 03D99, 68Q99, 68Q25, 68Q10, 68Q55, 68Q45, 03D20
27Karl-Heinz Niggl A restricted computation model on Scott domains and its partial primitive recursive functionals. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (1991):03D15, 03D65, 03D99, 68Q99, 68Q15, 68Q10, 68Q55, 68Q05, 03D20
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license