Beta assertive graphs : proofs of assertions with quantification
vastutusandmed
Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 8, 2
ilmumisaasta
leheküljed
23 p. : ill
märksõna
võtmesõna
transformations
type vs. occurrence-referential notations
ISSN
2631-9810
märkused
Bibliogr.: 23 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
Bellucci, F., Chiffi, D., Pietarinen, A.-V. Beta assertive graphs : proofs of assertions with quantification // Journal of applied logics : IfCoLog journal of logics and their applications (2021) vol. 8, 2, 23 p. : ill.