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

Alessandra Palmigiano

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

2008
8EEMarta Bílková, Alessandra Palmigiano, Yde Venema: Proof systems for the coalgebraic cover modality. Advances in Modal Logic 2008: 1-21
2007
7EEAlessandra Palmigiano, Yde Venema: Nabla Algebras and Chu Spaces. CALCO 2007: 394-408
2004
6EEAlexander Kurz, Alessandra Palmigiano: Coalgebras and Modal Expansions of Logics. Electr. Notes Theor. Comput. Sci. 106: 243-259 (2004)
5EEAlessandra Palmigiano: A coalgebraic view on positive modal logic. Theor. Comput. Sci. 327(1-2): 175-195 (2004)
2003
4EEAlessandra Palmigiano: Coalgebraic Semantics for Positive Modal Logic. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
2002
3EEAlessandra Palmigiano: Abstract Logics as Dialgebras. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
2000
2EEAlessandra Palmigiano: Normal Gentzen Deductions in the Classical Case. Logic Journal of the IGPL 8(2): (2000)
1999
1 Alessandra Palmigiano: Normality for Gentzen systems in the classical case. ESSLLI Student Papers 1999: 111-123

Coauthor Index

1Marta Bílková [8]
2Alexander Kurz [6]
3Yde Venema [7] [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)