Regular-Sets Dependents

2024

Isabelle/DOF

by Achim D. Brucker, Nicolas Méric and Burkhart Wolff

Apr 26

2017

The number of comparisons in QuickSort

by Manuel Eberl

Mar 15

2016

Formalization of Knuth–Bendix Orders for Lambda-Free Higher-Order Terms

by Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann and Daniel Wand

Nov 12

POSIX Lexing with Derivatives of Regular Expressions

by Fahad Ausaf, Roy Dyckhoff and Christian Urban

May 24

Analysis of List Update Algorithms

by Maximilian P. L. Haslbeck and Tobias Nipkow

Feb 17

2015

Finite Automata in Hereditarily Finite Set Theory

by Lawrence C. Paulson

Feb 05

2014

Unified Decision Procedures for Regular Expression Equivalence

by Tobias Nipkow and Dmitriy Traytel

Jan 30

2013

A Codatatype of Formal Languages

by Dmitriy Traytel

Nov 15

Light-weight Containers

by Andreas Lochbihler

Apr 15

2012

Executable Transitive Closures

by René Thiemann

Feb 29

2011

The Myhill-Nerode Theorem Based on Regular Expressions

by Chunhan Wu, Xingyuan Zhang and Christian Urban

Aug 26

2010

Abstract Rewriting

by Christian Sternagel and René Thiemann

Jun 14

2004

Functional Automata

by Tobias Nipkow

Mar 30