TalTech publikatsioonid
pealdis Ma, M., Pietarinen, A.-V.
TTÜ struktuuriüksus Ragnar Nurkse innovatsiooni ja valitsemise instituut
maakood au
keel inglise
autor Ma, Minghui
Pietarinen, Ahti-Veikko
pealkiri Graphical sequent calculi for modal logics
vastutusandmed Minghui Ma, Ahti-Veikko Pietarinen
allikas Electronic proceedings in theoretical computer science
ajakirja aastakäik number kuu vol. 243
ilmumisaasta 2017
leheküljed p. 91-103
märksõna modaalloogika
graafid
ISSN 2075-2180
märkused Bibliogr.: 25 ref
Special issue: Proceedings of the Ninth Workshop on Methods for Modalities : Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017
url http://dx.doi.org/10.4204/EPTCS.243.7