The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Powersets with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991-2010 (15) 2016-2023 (7)
Publication types (Num. hits)
article(11) inproceedings(10) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
86Roberto Bagnara, Patricia M. Hill, Enea Zaffanella Widening operators for powerset domains. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Abstract domain refinement, Powersets, Widening operators, Abstract interpretation, Convex polyhedra
31Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard Measuring well quasi-ordered finitary powersets. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Cong-hua Yan (L,⁎)-valued coarse structures on powersets. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Chris Wendler Machine learning on non-Euclidean domains: Powersets, lattices, posets. Search on Bibsonomy 2023   RDF
31Athanassios Tzouvaras Some structural similarities between uncountable sets, powersets and the universe. Search on Bibsonomy Math. Log. Q. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Jirí Mockor How Powersets of Individual Fuzzy Sets Can Be Defined? Search on Bibsonomy MICAI (1) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
31Guram Bezhanishvili, John Harding On the Proof that Compact Hausdorff Boolean Algebras are Powersets. Search on Bibsonomy Order The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
31Alexander P. Sostak, Ingrida Uljane L-valued bornologies on powersets. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
31S. E. Rodabaugh Relationship of algebraic theories to powersets over objects in Set and Set × C. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
31Patrik Eklund, Maria A. Galán, Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde Powersets of terms and composite monads. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Ingrida Uljane, Alexander P. Sostak On L-valued Equalites on the L-powersets of Many-valued Sets. Search on Bibsonomy EUSFLAT Conf. (2) The full citation details ... 2007 DBLP  BibTeX  RDF
31Patrik Eklund, Maria A. Galán, Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde Similarities between powersets of terms. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31David A. Schmidt Closed and Logical Relations for Over- and Under-Approximation of Powersets. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Dana S. Scott Powersets, Fixed Points, and Lambda Calculus. Search on Bibsonomy MFCSIT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Petr Jancar A Note on Well Quasi-Orderings for Powersets. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Cécile Capponi Type Extensibility of a Knowledge Representation System with Powersets. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31Alexander Abian, Wael A. Amin The Cardinality of Powersets in Finite Models of the Powerset Axiom. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
25Gunther Schmidt 0001, Rudolf Berghammer Contact Relations with Applications. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25David A. Schmidt Abstract Interpretation from a Topological Perspective. Search on Bibsonomy SAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Roberto Bagnara, Patricia M. Hill, Enea Zaffanella Widening Operators for Powerset Domains. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Hilary A. Priestley Ordered Sets and Complete Lattices. Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25David A. Naumann Beyond Fun: Order and Membership in Polytypic Imperative Programming. Search on Bibsonomy MPC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (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