Project

LATIN

Logic Atlas & Integrator

  • Duration:
  • Research Topics
    Other
  • Application fields
    Other

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

Partners

Jacobs-Universität Bremen

Sponsors

Deutsche Forschungsgemeinschaft (DFG)

Projektnr. 153521872

Deutsche Forschungsgemeinschaft (DFG)

Share project:

Keyfacts

Publications about the project

In: Hans-Jörg Kreowski , (editor). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10) located at 20th July 1-4 Schloss Etelsen Germany LNCS 7137 Springer 2012.

To the publication
Fulya Horozal, Florian Rabe,

In: Hans-Jörg Kreowski , (editor). 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) 7137 Springer 2012.

To the publication
Fulya Horozal, Florian Rabe,

In: Hans-Jörg Kreowski , (editor). 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) 7137 Springer 2012.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz