Graphical sequent calculi for modal logics
vastutusandmed
Minghui Ma, Ahti-Veikko Pietarinen
allikas
Electronic proceedings in theoretical computer science
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 243
ilmumisaasta
leheküljed
p. 91-103
konverentsi nimetus, aeg
Ninth Workshop on Methods for Modalities : Indian Institute of Technology, 8th to 10th January 2017
konverentsi toimumispaik
Kanpur, India,
märksõna
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
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
WOS
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
Ma, M., Pietarinen, A.-V. Graphical sequent calculi for modal logics // Electronic proceedings in theoretical computer science (2017) vol. 243, p. 91-103.