E-LIB Suche - Ergebnisse für: Cantone, Domenico

1

Quantum Circuits for Fixed Matching Substring Problems:

, In: Lecture Notes in Networks and Systems; Intelligent Computing,

Cantone, Domenico ; Faro, Simone ; Pavone, Arianna. - p. 667-686 , 2024

Link: https://doi.org/10.1007/..

2

The Decision Problem for Undirected Graphs with Reachabilit..:

, In: Twenty Years of Theoretical and Practical Synergies; Lecture Notes in Computer Science,

Cantone, Domenico ; De Domenico, Andrea ; Maugeri, Pietro - p. 431-446 , 2024

Link: https://doi.org/10.1007/..

3

Onset and Today's Perspectives of Multilevel Syllogistic:

, In: Lecture Notes in Computer Science; From Computational Logic to Computational Biology,

Cantone, Domenico ; Omodeo, Eugenio G. - p. 9-55 , 2024

Link: https://doi.org/10.1007/..

4

From Computational Logic to Computational Biology: Essays D..

Lecture Notes in Computer Science, 14070

Cantone, Domenico ; Pulvirenti, Alfredo - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

5

A behaviouristic semantic approach to blockchain-based e-co..:

Bella, Giampaolo ; Cantone, Domenico ; Castiglione, Gianpietro...
Semantic Web. , 2024

Link: https://doi.org/10.3233/..

6

Rationalization of indecisive choice behavior by pluralist ..:

Alcantud, José Carlos R. ; Cantone, Domenico ; Giarlotta, Alfio.
Journal of Mathematical Economics. 109 (2023) - p. 102895 , 2023

Link: https://doi.org/10.1016/..

7

A decidable theory involving addition of differentiable rea..:

Buriola, Gabriele ; Cantone, Domenico ; Cincotti, Gianluca..
Theoretical Computer Science. 940 (2023) - p. 124-148 , 2023

Link: https://doi.org/10.1016/..

8

Decidability of the satisfiability problem for Boolean set ..:

Cantone, Domenico ; Ursino, Pietro
ACM Transactions on Computational Logic. , 2023

Link: https://doi.org/10.1145/..

9

Reconciling transparency, low Δ0-complexity and axiomatic w..:

Cantone, Domenico ; Omodeo, Eugenio G ; Panettiere, Mattia
Journal of Logic and Computation. 33 (2023) 4 - p. 738-763 , 2023

Link: https://doi.org/10.1093/..

10

Complexity assessments for decidable fragments of Set Theor..:

Cantone, Domenico ; Maugeri, Pietro ; Omodeo, Eugenio G.
Theoretical Computer Science. 954 (2023) - p. 113786 , 2023

Link: https://doi.org/10.1016/..

11

Quantum String Matching Unfolded and Extended:

, In: Reversible Computation; Lecture Notes in Computer Science,

Cantone, Domenico ; Faro, Simone ; Pavone, Arianna - p. 117-133 , 2023

Link: https://doi.org/10.1007/..

12

Ontological Smart Contracts in OASIS: Ontology for Agents, ..:

, In: Intelligent Distributed Computing XIV; Studies in Computational Intelligence,

Cantone, Domenico ; Longo, Carmelo Fabio ; Nicolosi Asmundo, Marianna.. - p. 237-247 , 2022

Link: https://doi.org/10.1007/..

13

Blockchains Through Ontologies: The Case Study of the Ether..:

, In: Intelligent Distributed Computing XIV; Studies in Computational Intelligence,

Bella, Giampaolo ; Cantone, Domenico ; Longo, Cristiano.. - p. 249-259 , 2022

Link: https://doi.org/10.1007/..

14

Semantic Representation as a Key Enabler for Blockchain-Bas..:

, In: Economics of Grids, Clouds, Systems, and Services; Lecture Notes in Computer Science,

Bella, Giampaolo ; Cantone, Domenico ; Longo, Cristiano.. - p. 191-198 , 2021

Link: https://doi.org/10.1007/..

15

Complexity assessments for decidable fragments of set theor..:

Cantone, Domenico ; Maugeri, Pietro ; Omodeo, Eugenio G.
Theoretical Computer Science. 848 (2020) - p. 28-46 , 2020

Link: https://doi.org/10.1016/..