Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2000 (1) 2007 (1) 2008 (2) 2009 (1)
Publication types (Num. hits)
article(5)
Venues (Conferences, Journals, ...)
Appl. Categorical Struct.(3) Appl. Algebra Eng. Commun. Com...(1) Arch. Math. Log.(1)
Authors
Andrea Corradini 0001(1) Frank Hermann 0001(1) Guillem Godoy(1) Hugo Hernández(1) Julia Padberg(1) Karl-Heinz Niggl(1) Pawel Sobocinski 0001(1) Yves Lafont(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 6 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
28Guillem Godoy, Hugo Hernández Undecidable properties of flat term rewrite systems. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 16S15, 68Q42
28Julia Padberg Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68Q85, 18A99, 68Q42
28Andrea Corradini 0001, Frank Hermann 0001, Pawel Sobocinski 0001 Subobject Transformation Systems. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 18B35, 68Q10, 68Q42
28Yves Lafont Algebra and Geometry of Rewriting. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 16E05, 16E40, 16S15, 18G55, 20J05, 20M05, 18D10, 68Q42, 18D05
28Karl-Heinz Niggl The m\mu-measure as a tool for classifying computational complexity. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03D15, 68Q15, 68Q42, 03D20
Displaying result #1 - #5 of 5 (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