Graphical sequent calculi for modal logics
author
Ma, Minghui
Pietarinen, Ahti-Veikko
statement of authorship
Minghui Ma, Ahti-Veikko Pietarinen
source
Electronic proceedings in theoretical computer science
publisher
Open Publishing Association
journal volume number month
vol. 243
year of publication
2017
pages
p. 91-103
conference name, date
Ninth Workshop on Methods for Modalities : Indian Institute of Technology, 8th to 10th January 2017
conference location
Kanpur, India,
url
https://doi.org/10.4204/EPTCS.243.7
subject term
modaalloogika
graafid
ISSN
2075-2180
notes
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
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
quartile
Q3
TalTech department
Ragnar Nurkse innovatsiooni ja valitsemise instituut
language
inglise