Projekte — DFKI

Deutsch

English

LATIN - Logic Atlas & Integrator

Entwicklung von Methoden und Werkzeugen zur Vernetzung von Logiken/Beweissystemen aus autom. Beweisen, Mathematik und Softwareentwicklung.

Ansprechpartner: Prof. Dr. Till Mossakowski
Projektleitung: Prof. Dr. Till Mossakowski
Homepage: http://latin.omdoc.org/

Mihai Codescu
Lambda Expressions in CASL Architectural Specifications.
In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), located at 20th, July 1-4, Schloss Etelsen, Germany, LNCS, Vol. 7137, Springer, 2012.
Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova
Towards Logical Frameworks in the Heterogeneous Tool Set Hets.
In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.
Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe
A Proof Theoretic Interpretation of Model Theoretic Hiding.
In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Pages 118-138, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.

Mihai Codescu; Till Mossakowski
Refinement trees: calculi, tools and applications.
In: Andrea Corradini; Bartek Klin (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-11), 4th, August 30 - September 2, Winchster, United Kingdom, Pages 145-160, Lecture Notes in Computer Science (LNCS), Vol. 6859, Springer Verlag, Berlin, 2011.
Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe
Project Abstract: Logic Atlas and Integrator (LATIN).
In: James H. Davenport; William M. Farmer; Josef Urban; Florian Rabe (Hrsg.). Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics (CICM-11), July 18-23, Bertinoro, Forli, Italy, Pages 289-291, Lecture Notes in Computer Science (LNCS), Vol. 6824, Springer, 2011.