Bonet, María Luisa
Maria Luisa Bonet Spanish computer scientist
VIAF ID: 305870322 ( Personal )
Permalink: http://viaf.org/viaf/305870322
Preferred Forms
4xx's: Alternate Name Forms (9)
Works
Title | Sources |
---|---|
Are the hard examples for frege systems? | |
El axioma de elección y la lógica | |
Better methods for solving parsimony and compatibility | |
Complexity measures for resolution | |
The Complexity of resource-bounded propositional proofs | |
Digitalización de un distribuidor de joyeria | |
Eines per a l'estudi de la lògica | |
Exponential separation between tree-like and dag-like : cutting planes proofsystems | |
Gestió i validació d'usuaris | |
The Lengths of propositional proofs and the deduction rule | |
Linear lower bounds and simulations in frege systems with substitutions | |
The Width-size method for general resolution is optimal |