Marta Cialdea

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1993

3 Marta Cialdea: Herbrand style proof procedures for modal logic. Journal of Applied Non-Classical Logics 3(2): (1993)

1991

2 Marta Cialdea: Resolution for Some First-Order Modal Systems. Theor. Comput. Sci. 85(2): 213-229 (1991)

1986

1 Marta Cialdea: Some Remarks on the Possibility of Extending Resolution Proof Procedures to Intuitionistic Logic. Inf. Process. Lett. 22(2): 87-90 (1986)

	1993
3		Marta Cialdea: Herbrand style proof procedures for modal logic. Journal of Applied Non-Classical Logics 3(2): (1993)
	1991
2		Marta Cialdea: Resolution for Some First-Order Modal Systems. Theor. Comput. Sci. 85(2): 213-229 (1991)
	1986
1		Marta Cialdea: Some Remarks on the Possibility of Extending Resolution Proof Procedures to Intuitionistic Logic. Inf. Process. Lett. 22(2): 87-90 (1986)

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page