 | 2011 |
|---|
| 7 |       | Domenico Cantone,
Cristiano Longo,
Marianna Nicolosi Asmundo:
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.
CSL 2011: 129-143 |
| 6 | | Domenico Cantone,
Marianna Nicolosi Asmundo,
Ewa Orlowska:
Dual tableau-based decision procedures for relational logics with restricted composition operator.
Journal of Applied Non-Classical Logics 21(2): 177-200 (2011) |
| 2007 |
|---|
| 5 | | Domenico Cantone,
Marianna Nicolosi Asmundo:
A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux.
J. Autom. Reasoning 38(1-3): 31-56 (2007) |
| 2006 |
|---|
| 4 | | Andrea Formisano,
Marianna Nicolosi Asmundo:
An efficient relational deductive system for propositional non-classical logics.
Journal of Applied Non-Classical Logics 16(3-4): 367-408 (2006) |
| 2003 |
|---|
| 3 | | Marianna Nicolosi Asmundo,
Elvinia Riccobene:
Consistent Integration for Sequential Abstract State Machines.
Abstract State Machines 2003: 324-340 |
| 1998 |
|---|
| 2 | | Domenico Cantone,
Marianna Nicolosi Asmundo:
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux.
FTP (LNCS Selection) 1998: 109-125 |
| 1997 |
|---|
| 1 |  | Domenico Cantone,
Marianna Nicolosi Asmundo,
Eugenio G. Omodeo:
Global Skolemization with Grouped Quantifiers.
APPIA-GULP-PRODE 1997: 405-414 |
Data released under the ODC-BY 1.0 license — See also our legal information page