Defensio, Master Thesis, University of Innsbruck, IMPLEMENTATION & EVALUATION OF THE KNOWLEDGE ELEMENT PREPARATION MODEL RESEARCH OBJECTIVE

Source URL: www.maria-a-schett.net

From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting Student. Maria A Schett University of Innsbruck Technikerstrasse 21a

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Mathematics
• Graph theory
• Formal languages
• Logic in computer science
• Graph rewriting
• Mathematical logic
• Rewriting
• Graph
• KnuthBendix completion algorithm
• Abstract semantic graph
• Tree

master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Mathematics
• Formal languages
• Discrete mathematics
• Graph theory
• Graph rewriting
• Logic in computer science
• Rewriting
• Rewrite order
• Confluence
• Graph
• Abstract semantic graph

Beyond DRAT: Challenges in Certifying UNSAT1 Bertram Felgenhauer University of Innsbruck ARCADE

Source URL: www.cs.man.ac.uk

• Computational complexity theory
• Conflict-driven clause learning
• Drat
• Exponential time hypothesis
• Felgenhauer
• NP-complete problems

From Trees to Graphs: Kruskal’s Tree Theorem & Termination master’s thesis @ University of Innsbruck, Austria Maria A Schett

Source URL: www.maria-a-schett.net

• Mathematics
• Graph theory
• Theoretical computer science
• Mathematical logic
• Graph
• Rewriting
• Kruskal's tree theorem

This space is reserved for the EPiC Series header, do not use it Beyond DRAT: Challenges in Certifying UNSAT∗ Bertram Felgenhauer University of Innsbruck

Source URL: www.cs.man.ac.uk

• Drat
• Conjunctive normal form
• Constraint programming
• Theoretical computer science
• NP-complete problems
• Logic in computer science

Distributed and Parallel Systems Group University of Innsbruck Simone Pellegrini, Radu Prodan and Thomas Fahringer 

Source URL: www.pdp2012.org

Email Reduction through SpontaneousRecall, Vacation & Expiry Version 1.1 Release date: by Tom Nolf University of Innsbruck

Source URL: heim.ifi.uio.no

Robustness and Up-to-us-ness Simon Kittle University of Innsbruck BIBLID626X; pp. 35–57] Abstract

Source URL: www.disputatio.letras.ulisboa.pt

Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka, University of Copenhagen Cezary Kaliszyk, University of Innsbruck http://cl-informatik.uibk.ac.at/cek/coqhammer/

Source URL: cl-informatik.uibk.ac.at