Peirce's sequent proofs of distributivity
vastutusandmed
Minghui Ma and Ahti-Veikko Pietarinen
allikas
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 168-182
seeria-sari
Lecture notes in computer science ; 10119
konverentsi nimetus, aeg
Logic and Its Applications, 7th Indian Conference, ICLA 2017, 5-7 January 2017
konverentsi toimumispaik
Kanpur, India
tema kohta
ISSN
0302-9743
ISBN
978-3-662-54068-8
märkused
Bibliogr.: 31 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
WOS
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Ma, M., Pietarinen, A.-V. Peirce's sequent proofs of distributivity // Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings. Berlin : Springer, 2017. p. 168-182. (Lecture notes in computer science ; 10119).