The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Noetherianity with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1986-2008 (9)
Publication types (Num. hits)
article(4) inproceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
57Jonas Månsson, Patrik Nordbeck A generalized Ufnarovski graph. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Non-commutative algebras, Automaton algebras, Ufnarovski graph, Dickson's lemma, Noetherianity, Automata
57Patrik Nordbeck On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Non-commutative algebras, Gröbner bases, Dickson's lemma, Noetherianity, Syzygies
40Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli Noetherianity and Combination Problems. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Patrick Dehornoy A Criterion for Proving Noetherianity of a Relation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
40Teo Mora Standard Bases and Non-Noetherianity: Non-Commutative Polynomial Rings. Search on Bibsonomy AAECC The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
25Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli A comprehensive combination framework. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modal and description logics, decision procedures, Combination, higher-order logic, satisfiability modulo theory
25José Luis Freire, Enrique Freire Brañas, Antonio Blanco On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. Search on Bibsonomy EUROCAST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli A Comprehensive Framework for Combined Decision Procedures. Search on Bibsonomy FroCoS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Vladimir P. Gerdt, Yuri A. Blinkov Janet-Like Monomial Division. Search on Bibsonomy CASC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (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