M. P. Georgeff

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
Decision procedures for BDI logics Journal Of Logic And Computation	1998-09-27	Paper
A Monotonic Formalism for Events and Systems of Events Journal Of Logic And Computation	1995-06-30	Paper
scientific article; zbMATH DE number 140411 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 67446 (Why is no real title available?)	1992-09-27	Paper
scientific article; zbMATH DE number 67508 (Why is no real title available?)	1992-09-27	Paper
scientific article; zbMATH DE number 67509 (Why is no real title available?)	1992-09-27	Paper
scientific article; zbMATH DE number 4174345 (Why is no real title available?)	1989-01-01	Paper
Transformations and reduction strategies for typed lambda expressions ACM Transactions on Programming Languages and Systems	1984-01-01	Paper
Interdependent translation schemes Journal of Computer and System Sciences	1981-01-01	Paper
Extension of the Momentum Integral Method to Three-Dimensional Viscous-Inviscid Interactions AIAA Journal	1974-01-01	Paper
The hypersonic laminar boundary layer near sharp compression and expansion corners Journal of Fluid Mechanics	1974-01-01	Paper

Research outcomes over time

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