A proof-theoretic study of bi-intuitionistic propositional sequent calculus
autor
Pinto, Luis
Uustalu, Tarmo
vastutusandmed
Luís Pinto, Tarmo Uustalu
allikas
Journal of logic and computation
kirjastus/väljaandja
Oxford University Press
ajakirja aastakäik number kuu
vol. 28, 1
ilmumisaasta
2018
leheküljed
p. 165-202
leitav
https://doi.org/10.1093/logcom/exx044
märksõna
loogika
matemaatiline analüüs
ISSN
0955-792X
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Arts and humanities
en
Kunst ja humanitaarteadused
et
Mathematics
en
Matemaatika
et
Computer science
en
Arvutiteadus
et
kategooria (alam)
Arts and humanities. Arts and humanities (miscellaneous)
en
Kunst ja humanitaarteadused. Kunst ja humanitaarteadused (mitmesugused)
et
Mathematics. Logic
en
Matemaatika. Loogika
et
Mathematics. Theoretical computer science
en
Matemaatika. Teoreetiline arvutiteadus
et
Computer science. Hardware and architecture
en
Arvutiteadus. Riistvara ja arhitektuur
et
Computer science. Software
en
Arvutiteadus. Tarkvara
et
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium