Peirce's sequent proofs of distributivity
autor
Ma, Minghui
Pietarinen, Ahti-Veikko
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
Springer
ilmumisaasta
2017
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
leitav
https://doi.org/10.1007/978-3-662-54069-5_13
märksõna
loogika
tõestused
algebra
Boole'i funktsioonid
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85009818542&origin=inward&txGid=41e571b3ee346514d35cb170cb79338d
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000405784700013
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
tema kohta
Peirce, Charles Sanders, 1839-1914
võtmesõna
Peirce's rule
distributivity
sequent calculus
alpha graphs
ISSN
0302-9743
ISBN
978-3-662-54068-8
märkused
Bibliogr.: 31 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise