Title | ||
---|---|---|
An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic. |
Year | DOI | Venue |
---|---|---|
2019 | 10.24963/ijcai.2019/232 | IJCAI |
Field | DocType | Citations |
Discrete mathematics,Programming language,Computer science,Propositional calculus | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Camillo Fiorentini | 1 | 121 | 21.00 |