Bernd Mahr

Available identifiers

zbMath Open mahr.berndDBLP14/3375WikidataQ21708159 ScholiaQ21708159MaRDI QIDQ1158951

List of research outcomes

Publication	Date of Publication	Type
Applications of type theory	2022-11-02	Paper
A decade of TAPSOFT	2022-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q3084837	2011-03-25	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4437808	2003-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4436364	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4430285	2003-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q2719333	2001-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4790385	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4790384	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4231110	1999-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4013986	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3995131	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3221381	1985-01-01	Paper
Characterizing specification languages which admit initial semantics	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3682637	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3219105	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3673087	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3315043	1982-01-01	Paper
Algebraic implementation of abstract data types	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3956380	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4741699	1982-01-01	Paper
Complexity of algebraic implementations for abstract data types	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3902512	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3944007	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3885176	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907092	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3896501	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4182781	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4167581	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880807	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133136	1976-01-01	Paper

Research outcomes over time

This page was built for person: Bernd Mahr