Deriving Dependents

2024

A Preprocessor for Linear Diophantine Equalities and Inequalities

by René Thiemann

Jun 13

2023

Labeled Transition Systems

by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel

Oct 31

2022

Making Arbitrary Relational Calculus Queries Safe-Range

by Martin Raszyk and Dmitriy Traytel

Sep 28

2021

van Emde Boas Trees

by Thomas Ammer and Peter Lammich

Nov 23

2019

A Compositional and Unified Translation of LTL into ω-Automata

by Benedikt Seidl and Salomon Sickert

Apr 16

2016

Gröbner Bases Theory

by Fabian Immler and Alexander Maletzky

May 02

2015

Derivatives of Logical Formulas

by Dmitriy Traytel

May 28

2014

Haskell's Show Class in Isabelle/HOL

by Christian Sternagel and René Thiemann

Jul 29

Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions

by Dmitriy Traytel and Tobias Nipkow

Jun 12

The CAVA Automata Library

by Peter Lammich

May 28

Affine Arithmetic

by Fabian Immler

Feb 07

Implementing field extensions of the form Q[sqrt(b)]

by René Thiemann

Feb 06

2013

Light-weight Containers

by Andreas Lochbihler

Apr 15

2012

Generating linear orders for datatypes

by René Thiemann

Aug 07

Ordinary Differential Equations

by Fabian Immler and Johannes Hölzl

Apr 26