Michael Schenke

Available identifiers

zbMath Open schenke.michaelMaRDI QIDQ581539

List of research outcomes

Publication	Date of Publication	Type
Logic calculi in informatics. How is logic used by the computer?	2014-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4942020	2000-03-19	Paper
Transformational design of real-time systems. I: From requirements to program specifications	1999-03-30	Paper
Transformational design of real-time systems. II: From program specifications to programs	1998-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q4312480	1994-11-08	Paper
Analogues of the fundamental theorem of projective geometry in group theory. I.	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)	1987-01-01	Paper
On weakly Dedekind subgroups	1986-01-01	Paper

Research outcomes over time

This page was built for person: Michael Schenke