Back to Search Start Over

Structural Extensions of Display Calculi: A General Recipe.

Authors :
Ciabattoni, Agata
Ramanayake, Revantha
Source :
Logic, Language, Information & Computation (9783642399916); 2013, p81-95, 15p
Publication Year :
2013

Details

Language :
English
ISBNs :
9783642399916
Database :
Complementary Index
Journal :
Logic, Language, Information & Computation (9783642399916)
Publication Type :
Book
Accession number :
94125352
Full Text :
https://doi.org/10.1007/978-3-642-39992-3_10