Skip to main content Skip to main navigation

Publikationen

Seite 1 von 1.

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.