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