6 search results - page 2 / 2 » A Tutorial Introduction to CSP in Unifying Theories of Progr... |
168
click to vote
CSL
2007
Springer
15 years 9 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...