Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alessandra Palmigiano" ( http://dblp.L3S.de/Authors/Alessandra_Palmigiano )

  Author page on DBLP  Author page in RDF  Community of Alessandra Palmigiano in ASPL-2

Publication years (Num. hits)
1999-2012 (13)
Publication types (Num. hits)
article(9) inproceedings(4)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(3) Ann. Pure Appl. Logic(2) Advances in Modal Logic(1) CALCO(1) ESSLLI Student Papers(1) J. Log. Comput.(1) J. Symb. Log.(1) Logic Journal of the IGPL(1) LORI(1) Theor. Comput. Sci.(1)
Authors
Alessandra Palmigiano(13) Yde Venema(3) Alexander Kurz(2) Mai Gehrke(2) J. Michael Dunn(1) Marta Bílková(1) Mehrnoosh Sadrzadeh(1) Minghui Ma(1) Ramon Jansana(1) Willem Conradie(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Willem Conradie, Alessandra Palmigiano Algorithmic correspondence and canonicity for distributive modal logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mehrnoosh Sadrzadeh, Alessandra Palmigiano, Minghui Ma Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. Search on Bibsonomy LORI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Alessandra Palmigiano, Yde Venema Coalgebra and Logic: A Brief Overview. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mai Gehrke, Ramon Jansana, Alessandra Palmigiano Canonical extensions for congruential logics with the deduction theorem. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marta Bílková, Alessandra Palmigiano, Yde Venema Proof systems for the coalgebraic cover modality. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Alessandra Palmigiano, Yde Venema Nabla Algebras and Chu Spaces. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra
1J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano Canonical extensions and relational completeness of some substructural logics. Search on Bibsonomy J. Symb. Log. The full citation details ... 2005 DBLP  BibTeX  RDF
1Alessandra Palmigiano A coalgebraic view on positive modal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alexander Kurz, Alessandra Palmigiano Coalgebras and Modal Expansions of Logics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandra Palmigiano Coalgebraic Semantics for Positive Modal Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alessandra Palmigiano Abstract Logics as Dialgebras. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandra Palmigiano Normal Gentzen Deductions in the Classical Case. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alessandra Palmigiano Normality for Gentzen systems in the classical case. Search on Bibsonomy ESSLLI Student Papers The full citation details ... 1999 DBLP  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.