|
|
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. |
Numerical Validation in Current Hardware Architectures |
2008 |
DBLP DOI BibTeX RDF |
AMS subject classification 68N30, 68N19, 65F99, 65G20, 65G30 |
26 | Martin Raussen |
Invariants of Directed Spaces. |
Appl. Categorical Struct. |
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. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06A15, 06B99, 68T05, 68N30 |
26 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity. |
Stud Logica |
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. |
Order |
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. |
Appl. Categorical Struct. |
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*. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
AMS subject classification 03B44, 68N30 |
26 | Alexander Bolotov, Artie Basukoski |
A clausal resolution method for branching-time logic ECTL+. |
Ann. Math. Artif. Intell. |
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. |
Des. Codes Cryptogr. |
2006 |
DBLP DOI BibTeX RDF |
AMS Classification 05B40, 68N30, 05B15 |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|