Tableaux + Constraints Martin Giese and Reiner H¨ ahnle Chalmers University of Technology Department of Computing Science SGothenburg, Sweden

Source URL: heim.ifi.uio.no

Saturation up to Redundancy for Tableau and Sequent Calculi Martin Giese Johann Radon Institute for Computational and Applied Mathematics Altenbergerstr. 69, A-4040 Linz, Austria

Source URL: heim.ifi.uio.no

UITP 2003 Preliminary Version Taclets and the KeY Prover Martin Giese Chalmers University of Technology Department of Computing Science

Source URL: heim.ifi.uio.no

A Logic-based Approach to Decision Making Magdalena Ivanovska∗ and Martin Giese∗ Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. M

Source URL: heim.ifi.uio.no

From Informal to Formal Specifications in UML Martin Giese and Rogardt Heldal Chalmers University of Technology Gothenburg, Sweden {giese|heldal}@cs.chalmers.se

Source URL: heim.ifi.uio.no

Rule-Based Simplification of OCL Constraints Martin Giese, Reiner H¨ ahnle, and Daniel Larsson Chalmers University of Technology School of Computer Science and EngineeringGothenburg, Sweden

Source URL: heim.ifi.uio.no

arXiv:0901.0137v3 [math.AT] 21 FebCOMMUTING ELEMENTS, SIMPLICIAL SPACES AND FILTRATIONS OF CLASSIFYING SPACES A. ADEM∗ , F. R. COHEN∗∗ , AND E. TORRES GIESE Abstract. Let G denote a topological group. In thi

Source URL: arxiv.org

Bolivia, 11 de agosto de 2008 La fe es la garantía de lo que se espera, la certeza de lo que no se ve. Hebreos 11.1 Obispo Federico Pagura (Consejo Mundial de Iglesias); Rev. Nilton Giese (Consejo Latinoamericano de Igl

Source URL: www.creas.org

pst-blur package version 1.0 Martin Giese∗

Source URL: www.bakoma-tex.com

• Typography
• PSTricks
• Digital typography
• TeX
• LaTeX
• Shadow
• Device independent file format
• Application software
• Computing
• Macro programming languages

Anlaufstellen im Landesnetzwerk in Schleswig-Holstein Dithmarschen Volkshochschulen in Dithmarschen e.V, SüderstrDitmarsia, 25704 Meldorf Petra Giese

Source URL: www.efi-sh.de