A graphical deep inference system for intuitionistic logic
vastutusandmed
Ahti-Veikko Pietarinen, Minghui Ma
allikas
ajakirja aastakäik number kuu
vol. 245
ilmumisaasta
leheküljed
p. 73-114
tema kohta
ISSN
0024-5836
märkused
Bibliogr.: 51 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
Pietarinen, A.-V., Ma, M. A graphical deep inference system for intuitionistic logic // Logique et analyse (2019) vol. 245, p. 73-114. https://doi.org/10.2143/LEA.245.0.3285706