|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 6 keywords
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde |
Partial equilibrium logic. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 03B60, 03B55 |
27 | Emil Jerábek |
Complexity of admissible rules. |
Arch. Math. Log. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B45, 03D15, 03B55 |
27 | Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi |
Profinite Completions and Canonical Extensions of Heyting Algebras. |
Order |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 06D20, Secondary 06D50, 06B30, 03B55 |
27 | David Pearce 0001 |
Equilibrium logic. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B50, 68N17, 68T30, 03B70, 03B55 |
27 | Sebastiaan Terwijn |
The Medvedev lattice of computably closed sets. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03D30, 03G10, 03B55 |
27 | Blanka Kozlíková, Vítezslav Svejdar |
On interplay of quantifiers in Gödel-Dummett fuzzy logics. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B20, 03B52, 03B55 |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|