11 search results - page 3 / 3 » Full Completeness of the Multiplicative Linear Logic of Chu ... |
101
click to vote
CADE
2009
Springer
15 years 10 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...