|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 8 keywords
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Werner Hofschuster, Walter Krämer, Markus Neher 0001 |
C-XSC and Closely Related Software Packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Validation in Current Hardware Architectures ![In: Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers, pp. 68-102, 2008, Springer, 978-3-642-01590-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AMS subject classification 68N30, 68N19, 65F99, 65G20, 65G30 |
26 | Martin Raussen |
Invariants of Directed Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(4), pp. 355-386, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18A32, 55Pxx, 55Q05, 55U40, 68Q85, 68N30 |
26 | Marianne Huchard, Mohamed Rouane Hacene, Cyril Roume, Petko Valtchev |
Relational concept discovery in structured datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 49(1-4), pp. 39-76, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06A15, 06B99, 68T05, 68N30 |
26 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(2), pp. 215-249, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
2000 AMS Subject Classification Primary: 03G99, Secondary: 18C15, Secondary: 68N30 |
26 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 23(4), pp. 297-319, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary: 18C15, 03G99, Secondary: 08C05, 68N30, 08B05 |
26 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(4), pp. 357-376, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary: 03G99, Secondary: 68N30, 18C15 |
26 | Laura Giordano 0001, Alberto Martelli |
Tableau-based automata construction for dynamic linear time temporal logic*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 46(3), pp. 289-315, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AMS subject classification 03B44, 68N30 |
26 | Alexander Bolotov, Artie Basukoski |
A clausal resolution method for branching-time logic ECTL+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 46(3), pp. 235-263, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30 |
26 | Charles J. Colbourn, Sosina Martirosyan, Tran van Trung, Robert A. Walker |
Roux-type constructions for covering arrays of strengths three and four. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 41(1), pp. 33-57, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AMS Classification 05B40, 68N30, 05B15 |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|