|
Search the dblp DataBase
Marianna Nicolosi Asmundo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
Global Skolemization with Grouped Quantifiers. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1997, pp:405-414 [Conf]
- Marianna Nicolosi Asmundo, Elvinia Riccobene
Consistent Integration for Sequential Abstract State Machines. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2003, pp:324-340 [Conf]
- Domenico Cantone, Marianna Nicolosi Asmundo
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP] FTP (LNCS Selection), 1998, pp:109-125 [Conf]
- Domenico Cantone, Marianna Nicolosi Asmundo
A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2007, v:38, n:1-3, pp:31-56 [Journal]
Search in 0.001secs, Finished in 0.001secs
|