Unifying logics via context-sensitiveness.

TitleUnifying logics via context-sensitiveness.
Publication TypeJournal Article
Year of Publication2017
AuthorsPiazza M, Pulcini G
JournalJ. Log. Comput.
Volume27
Pagination21–40
ISSN0955-792X; 1465-363X/e
DOI10.1093/logcom/exv051