Search Results: 'Presburger Arithmetic'

Search

×
×
×
×
2 results for "Presburger Arithmetic"
HC-CS-TR-2010-01: A Retrospective of the Omega Project By Haverford College
eBook (PDF): $0.00
Download immediately.
Haverford College Technical Report describing the major results of Bill Pugh's "Omega Project" at UMCP.
HC-CS-TR-2010-01: A Retrospective of the Omega Project By Haverford College
Paperback: $5.83
Ships in 3-5 business days
Haverford College Technical Report describing the major results of Bill Pugh's "Omega Project" at UMCP.