Skip to Content

journal : Journal of the ACM

3 articles
Publication_icon.svg A Theory of Communicating Sequential Processes (Journal of the ACM, 1984) — Stephen D. Brookes, Charles Antony Richard Hoare, Andrew William Roscoe
Publication_icon.svg A Sufficient Condition for Backtrack-Free Search (Journal of the ACM, 1982) — Eugene C. Freuder
Publication_icon.svg A Machine-Oriented Logic Based on the Resolution Principle (Journal of the ACM, 1965) — John Alan Robinson
[ journal cloud / publications ]