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,
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
keel
inglise
märksõna
klassifikaator
WOS
kvartiil
kategooria (üld)
kategooria (alam)
TTÜ struktuuriüksus
Ma, M., Pietarinen, A.-V. Graphical sequent calculi for modal logics // Electronic proceedings in theoretical computer science (2017) vol. 243, p. 91-103.