Marvin C. Paull

Available identifiers

zbMath Open paull.marvin-cMaRDI QIDQ913507

List of research outcomes

Publication	Date of Publication	Type
Proving relative lower bounds for incremental algorithms	1990-01-01	Paper
Least-cost partition algorithms	1989-01-01	Paper
Conditions for incremental iteration: Examples and counterexamples	1988-01-01	Paper
Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem	1983-01-01	Paper
Parsing regular grammars with finite lookahead	1981-01-01	Paper
Minimum comparison merging of sets of approximately equal size	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4073279	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4773287	1969-01-01	Paper
Structural equivalence of context-free grammars	1968-01-01	Paper
On the Complete Convergence of Bordered Nets	1967-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marvin C. Paull