List All Pages
EpiConFor (Workshop of Epistemology, Context and Formalism)
in Nancy, France, 2009
VTSA 2009 (Summer School of Verification Technologies, Systems and Applications)
in Nancy, France,...
Email: bruno -at- logic -dot- at
Skype: bruno.wp
Personal Blog: http://bruno-wp.blogspot.com/
TU-Wien – Technische Universität Wien [Austria] (2007 - 2009)
Ph.D. in Logic
Thesis: A General Analysis of Cut-Elimination by CERes
Supervisor: Alexander Leitsch
TU-Wien – Technische...
Please change this page according to your policy (configure first using Site Manager) and remove this note.
Who can join?
You can write here who can become a member of this site.
Join!
So you...
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,...
Invited for the IBM Top Student Recognition Event in Stuttgart. (2006)
2nd Place in the "First GeneralGamePlaying Competition of Dresden, Germany". (2006)
Scholarship from Alßan for the European...
Publications
Talks
Conferences and Workshops
Prizes, Grants, Scholarships
Software Projects
Education
Teaching
Members:
Moderators
Admins
CERes (01/2007 - …).
Cut-Elimination by Resolution.
at the Theory and Logic Group of the Institut für Computersprachen of the Department of Computer Science of the Technische Universität...
Proof Structuring and Compression by Atomic-Cut-Introduction by Resolution (CIRes)
In the Seminar of the Theory and Logic Groups of the TU-Wien (Vienna, Austria, November 2009).
A General...
Currently…
I am not teaching at this moment.
Previously…
Anglo (High-School) – Piracicaba, SP, Brasil [2000-2001]
Lectures of Astronomy, to prepare high-school students for the brasilian...
Admin
List all pages
Site Manager
Contact
My main research activity now takes place in the Theory and Logic Group of the Institut für Computersprachen of the Department of Computer Science of the Technische Universität Wien (in Vienna,...
