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