Robert W. Binkley

From MaRDI portal
Person:4101796

Available identifiers

zbMath Open binkley.robert-wMaRDI QIDQ4101796

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q41017971976-01-01Paper
A Cancellation algorithm for elementary logic11967-01-01Paper

Research outcomes over time

This page was built for person: Robert W. Binkley