Gisele Secco: Variations on Symbolic Knowledge: Leibniz, Hilbert & Wittgenstein
Gisele Secco: "Linear Logic Based on Dependency-Relations"
Gisele Secco: "Linear Logic Based on Dependency-Relations"
Gisele Secco: "Neither Truth Nor Proof: semantical Principles for Intuitionistic Propositional Logic (Heyting's) and Classical Propositional Logic"
Gisele Secco: Neither Truth Nor Proof: semantical Principles for Intuitionistic Propositional Logic (Heyting's) and Classical Propositional Logic"
Gisele Secco: "Um argumento contra o representacionalismo na computação"
Gisele Secco: Some arguments and evidences that each propositional tautology has an small easy proof"
Gisele Secco: "Model Checking DAGs in Dedukti"
Gisele Secco: Horses
Gisele Secco: Luiz Carlos Pereira (PUC-Rio)
Gisele Secco: Luiz Carlos Pereira (PUC-Rio)
Gisele Secco: Luiz Carlos Pereira (PUC-Rio)
Gisele Secco: "On General Graphical Model-Checkers"
Gisele Secco: "On General Graphical Model-Checkers"
Gisele Secco: "On Partitions and Relations"
Gisele Secco: "On Partitions and Relations"
Gisele Secco: Luiz Carlos apresenta Tito
Gisele Secco: Três.