Agata Ciabattoni

Identifiers

No identifiers captured yet.

Papers (5)

1. Dermtrainer: A Decision Support System for Dermatological Diseases cs.IR · 2019 · author #2
2. Hypersequents and Systems of Rules: Embeddings and Applications math.LO · 2018 · author #1
3. M\=im\=a\d{m}s\=a deontic logic: proof theory and applications cs.LO · 2017 · author #1
4. G\"odel Logic: from Natural Deduction to Parallel Computation cs.LO · 2016 · author #2
5. Quantified propositional Goedel logics math.LO · 2000 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Francesco A. Genco 3 shared papers
• Antonia Wesinger 1 shared papers
• Arno Lukas 1 shared papers
• Bj\"orn Lellmann 1 shared papers
• Christian Ferm\"uller 1 shared papers
• Elisabeth Riedl 1 shared papers
• Elisa Freschi 1 shared papers
• Federico Aschieri 1 shared papers
• Gernot Salzer 1 shared papers
• Harald Kittler 1 shared papers
• Martin Haiduk 1 shared papers
• Matthias Baaz 1 shared papers
• Richard Zach 1 shared papers
• Rosa Mar\'ia Rodr\'iguez Dom\'inguez 1 shared papers