IMPLEMENTATION OF PARAMETERISED SPECIFICATIONSSANNELLA D; WIRSING M.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 473-488; BIBL. 2 P.Conference Paper

PARTIAL ABSTRACT TYPESBROY M; WIRSING M.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 1; PP. 47-64; BIBL. 41 REF.Article

ON THE ALGEBRAIC SPECIFICATION OF NONDETERMINISTIC PROGRAMMING LANGUAGESBROY M; WIRSING M.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; PP. 162-179; BIBL. 2 P.Conference Paper

Einführung des Kartoffelanbaus in Deutschland durch Pilgramsreuther 1648 Introduction de la culture de la pomme de terre en Allemagne par les habitants de Pilgramsreuth en 1648WIRSING, M.Zeitschrift für Agrargeschichte und Agrarsoziologie. 1988, Vol 36, Num 1, pp 23-32, issn 0044-2194Article

A SYSTEM FOR REASONING WITHIN AND ABOUT ALGEBRAIC SPECIFICATIONSLESZCZYLOWSKI J; WIRSING M.1982; LECT. NOTES. COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 257-282; BIBL. 3 P.Conference Paper

ON THE ALGEBRAIC EXTENSIONS OF ABSTRACT DATA TYPESBROY M; WIRSING M.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 244-251; BIBL. 21 REF.Conference Paper

Einführung des Kartoffelanbaus in Deutschland durch Pilgramsrenther 1648WIRSING, M.Zeitschrift für Agrargeschichte und Agrarsoziologie. 1988, Vol 36, Num 1, pp 23-32, issn 0044-2194Article

Structured algebric specifications: a kernel languageWIRSING, M.Theoretical computer science. 1986, Vol 42, Num 2, pp 123-249, issn 0304-3975Serial Issue

ALGEBRAIC DEFINITION OF A FUNCTIONAL PROGRAMMING LANGUAGE AND ITS SEMANTIC MODELSBROY M; WIRSING M.1983; R.A.I.R.O. INFORMATIQUE THEORIQUE; ISSN 0399-0540; FRA; DA. 1983; VOL. 17; NO 2; PP. 137-161; ABS. FRE; BIBL. 34 REF.Article

PROGRAM DEVELOPMENT: FROM ENUMERATION TO BACKTRACKINGBROY M; WIRSING M.1980; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1980; VOL. 10; NO 4-5; PP. 193-197; BIBL. 8 REF.Article

ABSTRACT DATA TYPES AS LATTICES OF FINITELY GENERATED MODELSWIRSING M; BROY M.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 673-685; BIBL. 2 P.Conference Paper

AN ATTEMPT FOR A MATHEMATIC FOUNDATION AND EVALUATION OF MACS, A METHOD FOR MULTIDIMENSIONAL AUTOMATICAL CLUSTER DETECTIONVON EYE A; WIRSING M.1978; BIOMETR. J.; DDR; DA. 1978; VOL. 20; NO 7-8; PP. 655-666; ABS. GER/RUS; BIBL. 19 REF.Article

ON RELATIONS BETWEEN PROGRAMSBROY M; PEPPER P; WIRSING M et al.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 83; PP. 59-78; BIBL. 3 P.Conference Paper

Crypt-equivalent algebraic specificationsBAUER, F. L; WIRSING, M.Acta informatica. 1988, Vol 25, Num 2, pp 111-153, issn 0001-5903Article

ON THE POWER OF ALGEBRAIC SPECIFICATIONSBERGSTRA JA; BROY M; TUCKER JV et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 193-204; BIBL. 1 P.Conference Paper

EXISTENTIAL QUANTIFIERS IN ABSTRACT DATA TYPESBROY M; DOSCH W; PARTSCH H et al.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 73-87; BIBL. 11 REF.Conference Paper

METHODICAL SOLUTION OF THE PROBLEM OF ASCENDING SUBSEQUENCES OF MAXIMUM LENGTH WITHIN A GIVEN SEQUENCEBROY M; WIRSING M; FINANCE JP et al.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 8; NO 5; PP. 224-229; BIBL. 10 REF.Article

PROGRAMMING IN A WIDE SPECTRUM LANGUAGE: A COLLECTION OF EXAMPLESBAUER FL; BORY M; DOSCH W et al.1981; SCI. COMPUT. PROGRAM.; NLD; DA. 1981; VOL. 1; NO 1-2; PP. 73-114; BIBL. 27 REF.Article

ABSTRAKTE DATENTYPEN: DIE ALGEBRAISCHE SPEZIFIKATION VON RECHENSTRUKTUREN = TYPE DE DONNEES ABSTRAITES: LA SPECIFICATION ALGEBRIQUE DE STRUCTURES DE CALCULPEPPER P; BROY M; BAUER FL et al.1982; INFORM.-SPEKTRUM; ISSN 0170-6012; DEU; DA. 1982; VOL. 5; NO 2; PP. 107-119; ABS. ENG; BIBL. 60 REF.Article

PROGRAM CONSTRUCTION. INTERNATIONAL SUMMER SCHOOLBAUER FL; DIJKSTRA EW; GERHART SL et al.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 69; 658 P.; BIBL. DISSEM.Serial Issue

Behavioural and abstractor specificationsBIDOIT, M; HENNICKER, R; WIRSING, M et al.Science of computer programming. 1995, Vol 25, Num 2-3, pp 149-186, issn 0167-6423Conference Paper

Algebraic implementations preserve program correctnessBROY, M; MÖLLER, B; PEPPER, P et al.Science of computer programming. 1986, Vol 7, Num 1, pp 35-53, issn 0167-6423Article

Algebraic state machinesBROY, M; WIRSING, M.Lecture notes in computer science. 2000, pp 89-118, issn 0302-9743, isbn 3-540-67530-2Conference Paper

On the algebraic definition of programming languagesBROY, M; WIRSING, M; PEPPER, P et al.ACM transactions on programming languages and systems. 1987, Vol 9, Num 1, pp 54-99, issn 0164-0925Article

A systematic study of models of abstract data typesBROY, M; WIRSING, M; PAIR, C et al.Theoretical computer science. 1984, Vol 33, Num 2-3, pp 139-174, issn 0304-3975Article