Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic LogicsNalon, Cláudia ; Lopes, Bruno ; Dowek, Gilles ; Haeusler, Edward HermannElectronic notes in theoretical computer science, 2015-04, Vol.312, p.125-141Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
Yet Another Bijection Between Sequent Calculus and Natural DeductionEnglander, Cecilia ; Dowek, Gilles ; Haeusler, Edward HermannElectronic notes in theoretical computer science, 2015-04, Vol.312, p.107-124Elsevier B.VTexto completo disponível |