|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
54 | Arief Daynes |
A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation. |
Arch. Math. Log. |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Marcos Kawazoe Aguilera, Svend Frølund, Vassos Hadzilacos, Stephanie Lorraine Horn, Sam Toueg |
Abortable and query-abortable objects and their efficient implementation. |
PODC |
2007 |
DBLP DOI BibTeX RDF |
abortable types, non-triviality, universal constructions, shared memory, memory contention, obstruction-freedom |
29 | Matthias C. Caro |
From undecidability of non-triviality and finiteness to undecidability of learnability. |
Int. J. Approx. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Rohan French, Shawn Standefer |
Non-triviality Done Proof-Theoretically. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Ihechukwu Chinyere, James Howie |
Non-triviality of some one-relator products of three groups. |
Int. J. Algebra Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Deepak Ponvel Chermakani |
A Non-Triviality Certificate for Scalars and its application to Linear Systems |
CoRR |
2012 |
DBLP BibTeX RDF |
|
29 | Marie Duzí |
The Paradox of Inference and the Non-Triviality of Analytic Information. |
J. Philos. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Federico Marulanda Rey |
Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness. |
LA-NMR |
2007 |
DBLP BibTeX RDF |
|
29 | Graham Priest |
Semantic Closure, Descriptions and Non-Triviality. |
J. Philos. Log. |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Graham Priest |
The Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions. |
J. Appl. Non Class. Logics |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Charles G. Morgan, Edwin D. Mares |
Conditionals, probability, and non-triviality. |
J. Philos. Log. |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Anna Zamansky, Arnon Avron |
Cut-Elimination and Quantification in Canonical Systems. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
canonical systems, proof theory, cut elimination, non-deterministic matrices |
23 | Anna Zamansky, Arnon Avron |
Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Arnon Avron, Iddo Lev |
Canonical Propositional Gentzen-Type Systems. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
22 | M. R. Darafsheh, Mohammad Reza Pournaki |
Computation of the Dimensions of Symmetry Classes of Tensors Associated with the Finite two Dimensional Projective Special Linear Group. |
Appl. Algebra Eng. Commun. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Symmetry classes of tensors, Actions of symmetric groups, Irreducible characters, Projective special linear group |
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|