Seminar mit Bachelorarbeit

Available Projects

A Web Front End for CL Tools
contact:   Georg Moser

Alternative Approaches to Terminationanalysis
contact:   Georg Moser

Maximal Interpretations
contact:   Georg Moser

LTL Model Checking
contact:   Aart Middeldorp

Tableaux for BoolTool
contact:   Aart Middeldorp

Shakashaka
contact:   Aart Middeldorp

Regular Expression Crossword Puzzle Generator
contact:   Sarah Winkler

Search Terms
contact:   Vincent van Oostrom

Confluence of One-Rule String Rewriting
contact:   Bertram Felgenhauer

An AC-Rewriting Engine
contact:   Christian Sternagel

Commutation of Term Rewrite Systems
contact:   Bertram Felgenhauer

A Certified Decision Procedure for Termination of Right-Ground Term Rewrite Systems
contact:   René Thiemann

Genetic Programming
contact:   Thibault Gauthier

Improved Visualization of Mercurial Repositories
contact:   René Thiemann

Clustering in Formal Mathematics (Big Data)
contact:   Cezary Kaliszyk

Unification in Booltool
contact:   Cezary Kaliszyk

HOL Goalstate Transformations
contact:   Cezary Kaliszyk