dblp.uni-trier.dewww.uni-trier.de

Marianna Nicolosi Asmundo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
4EEDomenico 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)
2003
3EEMarianna Nicolosi Asmundo, Elvinia Riccobene: Consistent Integration for Sequential Abstract State Machines. Abstract State Machines 2003: 324-340
1998
2EEDomenico 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

Coauthor Index

1Domenico Cantone [1] [2] [4]
2Eugenio G. Omodeo [1]
3Elvinia Riccobene [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)