Papers and Books

Books

• Herbrand Sequent Extraction
  • Buy: from Amazon | from Amazon Germany | from me.

Papers

• Resolution Refinements for Cut-Elimination based on Reductive Methods
  • Authors: Stefan Hetzl, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo
  • ESSLLI Workshop on Structures and Deduction (2009)
  • Download: Final Version in PDF

• A Clausal Approach to Proof Analysis in Second-Order Logic
  • Authors: Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
  • Symposium on Logical Foundations of Computer Science (2009)
  • Download: Final Version in PDF

• Cut-Elimination by Resolution and Skolemization in Second-Order Logic [Extended Abstract]
  • Authors: Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
  • Workshop on Analytic Proof Systems (APS), colocated with LPAR (2008)
  • Download: Final Version in PDF

• Transforming and Analyzing Proofs in the CERES-System
  • Authors: Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
  • Workshop on Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA), colocated with LPAR (2008)
  • Download: Final Version in PDF | Workshop Proceedings

• Herbrand Sequent Extraction
  • Authors: Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
  • International Conference on Mathematical Knowledge Management (2008), part of the Conferences on Intelligent Computer Mathematics.
  • Workshop on Classical Logic and Computation
  • Download: Final Version in PDF | Proceedings | CL&C Modified Version

• Proof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions
  • Authors: Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
  • Workshop on Empirically Successful Automated Reasoning for Mathematics (2008).
  • Download: Final Version in PDF | Workshop Pre-Proceedings | Workshop Proceedings

• An Approximate Gazetteer for GATE based on Levenshtein Edit Distance
  • ESSLLI Student Session (European Summer School in Language, Logic and Information). (2007)
  • Download: Final Version in PDF

• A Modified Edit-Distance Algorithm for Record Linkage in a Database of Companies
  • Anais do WAAMD (Workshop em Algoritmos e Aplicacoes de Mineracao de Dados). (2006)
  • Download: PDF of the Paper

• Inteligência Computacional aplicada ao Tratamento de Ambiguidades e Redundancias na Base de Dados de Intervenientes Estrangeiros
  • Anais da Segunda Conferência Sul-Americana em Ciência e Tecnologia Aplicada ao Governo Eletrônico. pp219-226. Editora Digital IJURIS. (2005)
  • Download: Final Version in PDF

• Sistema de Suporte à Decisao para o Gerenciamento de Rodovias
  • SIICUSP (Simpósio Internacional de Iniciacao Cientifica da Universidade de Sao Paulo) (2004)

• Can Black-Hole MACHO Binaries be detected by the Brazilian Spherical Antenna?
  • Institute of Physics Publishing, Classical and Quantum Gravity 21, S521-S527. (2004)
  • Download: PDF of the Paper

• The Brazilian Spherical Detector: Progress and Plans
  • Institute of Physics Publishing, Classical and Quantum Gravity 21, S457-S463. (2004)
  • Download: PDF of the Paper

• Fontes Astrofísicas de Ondas Gravitacionais: Sistemas Binários de Buracos Negros
  • SICINPE (Simpósio de Iniciacao Científica do Instituto Nacional de Pesquisas Espaciais (INPE)). (2002)