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:
...
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.