Graphical sequent calculi for modal logics
autor
Ma, Minghui
Pietarinen, Ahti-Veikko
vastutusandmed
Minghui Ma, Ahti-Veikko Pietarinen
allikas
Electronic proceedings in theoretical computer science
kirjastus/väljaandja
Open Publishing Association
ajakirja aastakäik number kuu
vol. 243
ilmumisaasta
2017
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,
leitav
https://doi.org/10.4204/EPTCS.243.7
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
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85018895900&origin=inward&txGid=017e9495e88129b44be81d9119238efe
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000405453900008
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
kvartiil
Q3
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise