Abha Moitra

Available identifiers

zbMath Open moitra.abhaMaRDI QIDQ1060001

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4733406	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3777446	1987-01-01	Paper
Proof rules for fault tolerant distributed programs	1987-01-01	Paper
Derivation of a parallel algorithm for balancing binary trees	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3026339	1986-01-01	Paper
A Maximally Parallel Balancing Algorithm for Obtaining Complete Balanced Binary Trees	1985-01-01	Paper
Automatic construction of CSP programs from sequential non-deterministic programs	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3316570	1982-01-01	Paper
Direct Implementation of Algebraic Specification of Abstract Data Types	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4749204	1981-01-01	Paper

Research outcomes over time

This page was built for person: Abha Moitra