Beta Assertive Graphs: Proofs of Assertions with Quantification

Francesco Bellucci, Daniele Chiffi, Ahti Veikko Pietarinen

Research output: Contribution to journalJournal articlepeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Beta Assertive Graphs: Proofs of Assertions with Quantification'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Engineering

Medicine and Dentistry