PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cantone, Domenico"

Author of the publication

copydeleteadd this publication to your clipboard
A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning.

, and . TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 143-159. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Cantone, Domenico
add a person with the name Cantone, Domenico
 

Other publications of authors with the same name

New Efficient Bit-Parallel Algorithms for the delta-Matching Problem with alpha-Bounded Gaps in Musical Sequences., , and . Stringology, page 170184. Prague Stringology Club, Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University in Prague, (2008)Efficient Algorithms for the delta-Approximate String Matching Problem in Musical Sequences., , and . Stringology, page 33-47. Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University, (2004)A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership., , and . J. Autom. Reasoning, 34 (1): 49-72 (2005)Games, automata, logics and formal verification (GandALF 2016)., and . Inf. Comput., 262 (Part): 187-188 (2018)Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation?, and . CILC, volume 2214 of CEUR Workshop Proceedings, page 147-152. CEUR-WS.org, (2018)Dual Tableau-based Decision Procedures for Some Relational Logics., , and . CILC, volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs., , and . CILC, volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)Banishing Ultrafilters from Our Consciousness., , and . Martin Davis on Computability, Computational Logic, and Mathematical Foundations, volume 10 of Outstanding Contributions to Logic, Springer, (2016)An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World, and . CoRR, (2012)Speeding Up String Matching by Weak Factor Recognition., , and . CoRR, (2017)