Marianna Nicolosi Asmundo

	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

Coauthor Index

1	Domenico Cantone	[1] [2] [5] [6] [7]
2	Andrea Formisano	[4]
3	Cristiano Longo	[7]
4	Eugenio G. Omodeo	[1]
5	Ewa Orlowska	[6]
6	Elvinia Riccobene	[3]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page