Mutual Exclusion by Interpolation

DOI10.1007/978-3-642-29822-6_16zbMath1354.68037OpenAlexW179615994MaRDI QIDQ2900264

Andy King, Jael E. Kriener

Publication date: 20 July 2012

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/37588/1/content.pdf

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

This page was built for publication: Mutual Exclusion by Interpolation