[Zurück]


Zeitschriftenartikel:

B. Lellmann:
"Hypersequent Rules with Restricted Contexts for Propositional Modal Logics";
Theoretical Computer Science, 656 (2016), S. 76 - 105.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.tcs.2016.10.004

Elektronische Version der Publikation:
http://dx.doi.org/10.1016/j.tcs.2016.10.004


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.