Skip to main content Skip to main navigation

Projekt | LATIN

Laufzeit:

Logic Atlas & Integrator

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

Partner

Jacobs-Universität Bremen

Projekt teilen auf:

Keyfacts

Beteiligte Forschungsbereiche

Webseite

Publikationen

Alle Publikationen

  1. Lambda Expressions in CASL Architectural Specifications

    Mihai Codescu

    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.

  2. Towards Logical Frameworks in the Heterogeneous Tool Set Hets

    Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova

    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.

  3. A Proof Theoretic Interpretation of Model Theoretic Hiding

    Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe

    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.

Fördergeber

DFG - Deutsche Forschungsgemeinschaft

Projektnr. 153521872

DFG - Deutsche Forschungsgemeinschaft