- Higher-Order Multi-Valued Resolution Michael Kohlhase
- Focus and Higher{Order Uni cation Claire Gardent
- Extensional Higher-Order Resolution Christoph Benzmuller and Michael Kohlhase
- Der Titel der Diplomarbeit wird voraussichtlich sein "Eine hinreichend Bedingung fr die starke minimalitt von kompaktenMinimalflchen".Eine Minimalflche M, das
- Michael Kohlhase and Christoph Lange and Christine Muller and Normen Muller and Florian Rabe
- A Tableau Calculus for Partial Functions Manfred Kerber Michael Kohlhase
- HigherOrder Colored Unification: A Linguistic Application
- A Resolution Calculus for Presuppositions Manfred Kerber and Michael Kohlhase
- Kognitionswissenschaft manuscript No. (will be inserted by the editor)
- Cut-Simulation in Impredicative Logics Christoph E. Benzmuller1
- Fine-Granular Version Control & Redundancy Resolution Normen Muller and Michael Kohlhase
- A Mechanization of Strong Kleene Logic for Partial Functions
- intro.tex 300 2010-10-26 11:44:03Z jcorneli Building Blocks for a Social and Semantic Web
- Compensating the Computational Bias of Spreadsheets with MKM Techniques
- A Scalable Module System Florian Rabea
- A Search Engine for Mathematical Michael Kohlhase and Ioan A. Sucan
- INTEGRATING COMPUTER ALGEBRA INTO PROOF PLANNING
- Electronic Communications of the EASST Volume X (2010)
- Transforming large collections of scientific pub-lications to XML
- Semantic Knowledge Management for Education Andrea Kohlhase
- First Order Resolution Proofs
- Cut Elimination with -Functionality Christoph E. Benzmuller, Chad E. Brown, Michael
- Towards a Mizar Mathematical Library in OMDoc format
- A Foundational View on Integration Problems Florian Rabe1
- What we understand is what we get: Assessment in Spreadsheets
- Unifying Math Ontologies: A tale of two James H. Davenport1
- OM2009.tex 574 2009-05-11 23:03:38Z jhd Quantifiers and Big Operators in OpenMath
- A Better Role System for OpenMath Florian Rabe, Michael Kohlhase
- MathML-aware article conversion from LATEX. A comparison study.
- balisage.tex 377 2009-07-15 13:21:16Z vzholudev TNTBase: a Versioned Storage for XML
- Semantic Transparency in User Assistance Systems Andrea Kohlhase
- Modeling Task Experience in User Assistance Systems Andrea Kohlhase
- Transforming the ariv to XML Heinrich Stamerjohanns and Michael Kohlhase
- Communities of Practice in MKM: An Extensional Model
- CPoint: Dissolving the Author's Dilemma Andrea Kohlhase1
- Towards Collaborative Content Management And Version Control For Structured
- System Description: Leo A Higher-Order Theorem Prover
- A Colored Version of the -Calculus Dieter Hutter1
- THEUNIVERSITYOFBIRMINGHAM SchoolofComputerScience
- Computing Parallelism in Discourse Claire Gardent and Michael Kohlhase
- cmp-lg/96090012Sep1996 Corrections and Higher{Order Uni cation
- UNIVERSITATDESSAARLA FACHBEREICHINFORMATIK
- A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
- Michael Kohlhase and Christoph Lange and Christine Muller and Normen Muller and Florian Rabe
- EPTCS ??, 20??, pp. 114, doi:10.4204/EPTCS.??.?? Towards an Atlas of Formal Logics
- Formal Management of CAD/CAM Processes Michael Kohlhase, Johannes Lemburg, Lutz Schroder, and Ewaryst Schulz
- An Exploration in the Space of Mathematical Andrea Kohlhase1
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
- UNIVERSITATDESSAARLANDES FACHBEREICHINFORMATIK
- Higher{Order Coloured Uni cation and Natural Language Claire Gardent
- Higher-Order Automated Theorem Proving Michael Kohlhase
- Towards a Dynamic Type Theory Michael Kohlhase and Susanna Kuschert
- Semantics of OpenMath and MathML3 Michael Kohlhase, Florian Rabe
- Model Generation for Discourse Representation Theory Michael Kohlhase
- Towards context-based disambiguation of mathematical expressions
- What you understand is what you get: Assessment in Spreadsheets
- Capturing the Content of Physics: Systems, Observables, and Experiments
- intro.tex 621 2010-04-16 13:51:04Z vzholudev Scripting Documents with XQuery
- Prototyping a Browser for a Listed Buildings Database with Semantic MediaWiki
- System Description: The MathWeb Software Bus for Distributed
- paper.tex 2954 2011-03-13 13:55:44Z ako Versioned Links
- Workflows for the Management of Change in Science, Technologies, Engineering and
- Semantics of OpenMath and MathML3 Michael Kohlhase and Florian Rabe
