Publikationen

Seite 1 von 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 …
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 …
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 …
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 …
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 …