Michael Schenke

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Logic calculi in informatics. How is logic used by the computer?	2014-02-14	Paper
scientific article; zbMATH DE number 1418462 (Why is no real title available?)	2000-03-19	Paper
Transformational design of real-time systems. I: From requirements to program specifications Acta Informatica	1999-03-30	Paper
Transformational design of real-time systems. II: From program specifications to programs Acta Informatica	1998-09-10	Paper
scientific article; zbMATH DE number 683359 (Why is no real title available?)	1994-11-08	Paper
Analogues of the fundamental theorem of projective geometry in group theory. I. Rendiconti del Seminario Matematico della Università di Padova	1987-01-01	Paper
Analogues of the fundamental theorem of projective geometry in group theory. I. Rendiconti del Seminario Matematico della Università di Padova	1987-01-01	Paper
Analoga des Fundamentalsatzes der Projektiven Geometrie in der Gruppentheorie. II. (Analogues of the fundamental theorem of projective geometry in group theory. II) Rendiconti del Seminario Matematico della Università di Padova	1987-01-01	Paper
Analoga des Fundamentalsatzes der Projektiven Geometrie in der Gruppentheorie. II. (Analogues of the fundamental theorem of projective geometry in group theory. II) Rendiconti del Seminario Matematico della Università di Padova	1987-01-01	Paper
On weakly Dedekind subgroups Ricerche di Matematica	1986-01-01	Paper

Research outcomes over time

This page was built for person: Michael Schenke