M. P. Georgeff

Available identifiers

zbMath Open georgeff.michael-pMaRDI QIDQ1151757

List of research outcomes

Publication	Date of Publication	Type
Decision procedures for BDI logics	1998-09-27	Paper
A Monotonic Formalism for Events and Systems of Events	1995-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4028821	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4012166	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4012249	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4012251	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3198880	1989-01-01	Paper
Transformations and reduction strategies for typed lambda expressions	1984-01-01	Paper
Interdependent translation schemes	1981-01-01	Paper
Extension of the Momentum Integral Method to Three-Dimensional Viscous-Inviscid Interactions	1974-01-01	Paper
The hypersonic laminar boundary layer near sharp compression and expansion corners	1974-01-01	Paper

Research outcomes over time

This page was built for person: M. P. Georgeff