Beta assertive graphs : proofs of assertions with quantification
statement of authorship
Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen
publisher
journal volume number month
vol. 8, 2
year of publication
pages
23 p. : ill
subject term
keyword
transformations
type vs. occurrence-referential notations
ISSN
2631-9810
notes
Bibliogr.: 23 ref
scientific publication
teaduspublikatsioon
classifier
category (general)
category (sub)
kvartiil
TTÜ department
language
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.