Skip to main content Skip to main navigation

Project

LATIN

Logic Atlas & Integrator

  • Duration:

Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics, and software engineering.

Partners

Jacobs-Universität Bremen

Sponsors

DFG - German Research Foundation

Projektnr. 153521872

DFG - German Research Foundation

Share project:

Keyfacts

Publications about the project

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.

To the publication

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.

To the publication

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.

To the publication
All publications