Search Results - Omodeo, Eugenio G

Refine Results
  1. 1
    Set-syllogistics meet combinatorics

    Set-syllogistics meet combinatorics by OMODEO, EUGENIO G., POLICRITI, ALBERTO, TOMESCU, ALEXANDRU I.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets

    Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets by Omodeo, Eugenio G., Tomescu, Alexandru I.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Set Graphs. V. On representing graphs as membership digraphs

    Set Graphs. V. On representing graphs as membership digraphs by Omodeo, E. G., Tomescu, A. I.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages

    Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages by Cantone, Domenico, Maugeri, Pietro, Omodeo, Eugenio G.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership

    Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership by Cantone, Domenico, Maugeri, Pietro, Omodeo, Eugenio G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Reconciling transparency, low Δ 0-complexity and axiomatic weakness in undecidability proofs

    Reconciling transparency, low Δ 0-complexity and axiomatic weakness in undecidability proofs by Cantone, Domenico, Omodeo, Eugenio G, Panettiere, Mattia

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Infinity, in short

    Infinity, in short by Omodeo, E. G., Policriti, A., Tomescu, A. I.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Obituary of Martin Davis (1928-2023)

    Obituary of Martin Davis (1928-2023) by Omodeo, Eugenio G., Policriti, Alberto, De Mol, Liesbeth

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    A decidable theory involving addition of differentiable real functions

    A decidable theory involving addition of differentiable real functions by Buriola, Gabriele, Cantone, Domenico, Cincotti, Gianluca, Omodeo, Eugenio G., Spartà, Gaetano T.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    In Memory of Martin Davis

    In Memory of Martin Davis by Calvert, Wesley, Harizanov, Valentina, Omodeo, Eugenio G., Policriti, Alberto, Shlapentokh, Alexandra

    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Three-variable statements of set-pairing

    Three-variable statements of set-pairing by Formisano, Andrea, Omodeo, Eugenio G, Policriti, Alberto

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Decidability results for sets with atoms

    Decidability results for sets with atoms by Dovier, Agostino, misano, Andrea, Omodeo, Eugenio G

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  13. 13
    The axiom of elementary sets on the edge of Peircean expressibility

    The axiom of elementary sets on the edge of Peircean expressibility by Formisano, Andrea, Omodeo, Eugenio G., Policriti, Alberto

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Formative Processes with Applications to the Decision Problem in Set Theory: I. Powerset and Singleton Operators

    Formative Processes with Applications to the Decision Problem in Set Theory: I. Powerset and Singleton Operators by Cantone, Domenico, Ursino, Pietro, Omodeo, Eugenio G.

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    ER modelling from first relational principles

    ER modelling from first relational principles by Doberkat, Ernst-Erich, Omodeo, Eugenio G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case

    Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case by Dovier, Agostino, Omodeo, Eugenio G., Policriti, Alberto

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Six equations in search of a finite-fold-ness proof

    Six equations in search of a finite-fold-ness proof by Cantone, Domenico, Cuzziol, Luca, Omodeo, Eugenio G

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Complexity assessments for decidable fragments of Set Theory. IV: A quadratic reduction of constraints over nested sets to Boolean formulae

    Complexity assessments for decidable fragments of Set Theory. IV: A quadratic reduction of constraints over nested sets to Boolean formulae by Cantone, Domenico, De Domenico, Andrea, Maugeri, Pietro, Omodeo, Eugenio G

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    In Memory of Martin Davis

    In Memory of Martin Davis by Calvert, Wesley, Harizanov, Valentina, Omodeo, Eugenio G, Policriti, Alberto, Shlapentokh, Alexandra

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    {log}: A language for programming in logic with finite sets

    {log}: A language for programming in logic with finite sets by Dovier, Agostino, Omodeo, Eugenio G., Pontelli, Enrico, Rossi, Gianfranco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: