BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
Collaborated with:
L.Hella M.Hannula J.Kontinen
Talks about:
logic (3) hierarchi (1) independ (1) inclus (1) point (1) fix (1)

Person: Pietro Galliani

DBLP DBLP: Galliani:Pietro

Contributed to:

CSL 20132013

Wrote 2 papers:

CSL-2013-GallianiH #fixpoint #logic
Inclusion Logic and Fixed Point Logic (PG, LH), pp. 281–295.
CSL-2013-GallianiHK #independence #logic
Hierarchies in independence logic (PG, MH, JK), pp. 263–280.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.