Abstract-Rewriting Dependents

2024

Linear Resources and Process Compositions

by Filip Smola and Jacques D. Fleuriot

Nov 25

2018

Minsky Machines

by Bertram Felgenhauer

Aug 14

First-Order Terms

by Christian Sternagel and René Thiemann

Feb 06

2016

The Z Property

by Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom and Christian Sternagel

Jun 30

Polynomial Factorization

by René Thiemann and Akihisa Yamada

Jan 29

2015

Decreasing Diagrams II

by Bertram Felgenhauer

Aug 20

2013

Decreasing Diagrams

by Harald Zankl

Nov 01

2012

Well-Quasi-Orders

by Christian Sternagel

Apr 13

2011

The Myhill-Nerode Theorem Based on Regular Expressions

by Chunhan Wu, Xingyuan Zhang and Christian Urban

Aug 26

2010

Executable Multivariate Polynomials

by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp

Aug 10

Executable Matrix Operations on Matrices of Arbitrary Dimensions

by Christian Sternagel and René Thiemann

Jun 17