KiTES

KiTES ist eine Experimentierumgebung für Termersetzungssysteme und entstand im Rahmen meiner Bachelorarbeit an der Christian- Albrechts-Universität zu Kiel am Lehrstuhl für Theoretische Informatik bei Prof. Dr. Thomas Wilke. Die Software steht unter der GNU General Public License.

Downloads

Bachelorarbeit

Executables

Sonstiges

Der Quellcode der jeweils aktuellen Entwicklungsversion kann bei GitHub heruntergeladen werden. Hier werden nur Snapshots der jeweiligen Versionen zur Verfügung gestellt. Bei Fragen, Anregungen oder Problemen zu/mit KiTES stehe ich gerne unter sarek [AT] uliweb.de zur Verfügung. Ich würde mich ebenfalls freuen, wenn Sie mir eine Nachricht schicken, wenn Sie dieses Programm einsetzen.