Axel Schairer und Casl - Info zur Person

(1 - 6 von 6

)

Mathematical Knowledge Management: Second International ...google.de

books.google.de

Serge Autexier, Dieter Hutter, Heiko Mantel, and Axel Schairer. Towards an evolutionary formal software-development using CASL. In C. Choppy and D. Bert, ...

CASL Reference Manual: The Complete Documentation of the ...google.de

books.google.de

... Axel Schairer . Towards an evolutionary formal software - development using CASL . In D. Bert , C. Choppy , and P. D. Mosses , editors , Recent Trends in ...

Challenges of Human Space Exploration - Marsha FreemanGoogle

books.google.co.cr

Serge Autexier Dieter Hutter Heiko Mantel and Axel Schairer Subsorted Partial HigherOrder Logic as an Extension of CASL Till Mossakowski Anne ... Serge Autexier Dieter Hutter Heiko Mantel and Axel Schairer Subsorted Partial HigherOrder Logic as an Extension of CASL Till Mossakowski Anne ...

Problems and questions about CASL concrete syntaxUniversität Bremen

www.informatik.uni-bremen.de

Axel Schairer ; Date: Wed, 14 Jul :40:48 +0200 (MET DST); Delivered-To: .dk; Reply-To: cofi-tools ... Axel Schairer ; Date: Wed, 14 Jul :40:48 +0200 (MET DST); Delivered-To: .dk; Reply-To: cofi-tools ...

Towards an Evolutionary Formal Software-Development Using CASLlink.springer.com › chapter

link.springer.com

Axel Schairer. Show authors. Conference paper Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, UK. Axel Schairer.

[PS] Formal Representation Issues in an Open Mathematical Knowledge ...www.emis.de › proceedings › MKM2001 › kohlhase

www.emis.de

... Axel Schairer. Towards an evolution-. ary formal software-development using CASL. In C. Choppy and D. Bert, editors, Pro-. ceedings Workshop on Algebraic ...

Alle Infos zum Namen "Axel Schairer"

Verwandte Suchanfragen zu Axel Schairer

Serge Autexier
Dieter Hutter
Markus Gloksin

Paul Karger
Daniel Speidel
Karl-Martin Haug

Gerhard Schellhorn
Roland Vogt
Julia Feiler

Personen
Vorname "Axel" (23019)
Name "Schairer" (184)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z