PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Cantone, Domenico"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case.

, , und . J. Autom. Reasoning, 33 (3-4): 251-269 (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Cantone, Domenico
Eine Person hinzufügen mit dem Namen Cantone, Domenico
 

Weitere Publikationen von Autoren mit dem selben Namen

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership., , und . J. Autom. Reasoning, 34 (1): 49-72 (2005)New Efficient Bit-Parallel Algorithms for the delta-Matching Problem with alpha-Bounded Gaps in Musical Sequences., , und . Stringology, Seite 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., , und . Stringology, Seite 33-47. Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University, (2004)Speeding Up String Matching by Weak Factor Recognition., , und . CoRR, (2017)An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World, und . CoRR, (2012)The satisfiability problem for Boolean set theory with a choice correspondence (Extended version)., , und . CoRR, (2017)Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation?, und . CILC, Volume 2214 von CEUR Workshop Proceedings, Seite 147-152. CEUR-WS.org, (2018)Dual Tableau-based Decision Procedures for Some Relational Logics., , und . CILC, Volume 598 von 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., , und . CILC, Volume 598 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)Games, automata, logics and formal verification (GandALF 2016)., und . Inf. Comput., 262 (Part): 187-188 (2018)