The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase non-triviality (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2023 (15)
Publication types (Num. hits)
article(10) inproceedings(5)
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
54Arief Daynes A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Marcos Kawazoe Aguilera, Svend Frølund, Vassos Hadzilacos, Stephanie Lorraine Horn, Sam Toueg Abortable and query-abortable objects and their efficient implementation. Search on Bibsonomy PODC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abortable types, non-triviality, universal constructions, shared memory, memory contention, obstruction-freedom
29Matthias C. Caro From undecidability of non-triviality and finiteness to undecidability of learnability. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
29Rohan French, Shawn Standefer Non-triviality Done Proof-Theoretically. Search on Bibsonomy LORI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
29Ihechukwu Chinyere, James Howie Non-triviality of some one-relator products of three groups. Search on Bibsonomy Int. J. Algebra Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
29Deepak Ponvel Chermakani A Non-Triviality Certificate for Scalars and its application to Linear Systems Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
29Marie Duzí The Paradox of Inference and the Non-Triviality of Analytic Information. Search on Bibsonomy J. Philos. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
29Federico Marulanda Rey Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness. Search on Bibsonomy LA-NMR The full citation details ... 2007 DBLP  BibTeX  RDF
29Graham Priest Semantic Closure, Descriptions and Non-Triviality. Search on Bibsonomy J. Philos. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Graham Priest The Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Charles G. Morgan, Edwin D. Mares Conditionals, probability, and non-triviality. Search on Bibsonomy J. Philos. Log. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
24Anna Zamansky, Arnon Avron Cut-Elimination and Quantification in Canonical Systems. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF canonical systems, proof theory, cut elimination, non-deterministic matrices
23Anna Zamansky, Arnon Avron Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Arnon Avron, Iddo Lev Canonical Propositional Gentzen-Type Systems. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22M. R. Darafsheh, Mohammad Reza Pournaki Computation of the Dimensions of Symmetry Classes of Tensors Associated with the Finite two Dimensional Projective Special Linear Group. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 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: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license