|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
165 | Pablo Cordero, Gloria Gutiérrez, Javier Martínez 0001, Inmaculada Perez de Guzmán |
A New Algebraic Tool for Automatic Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 42(4), pp. 369-398, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
multisemilattice, theorem provers, automated deduction, implicants, ideals, lattice theory |
33 | R. Padmanabhan, P. Penner |
Semilattice Operations Generated by Lattice Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(3), pp. 257-263, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
quasilattice, compatible orders, subdirectly irreducible, distributive multisemilattice, pseudomedian algebras, lattice, semilattice, modular lattice |
Displaying result #1 - #2 of 2 (100 per page; Change: )
|
|