3773 search results - page 8 / 755 » Logical Reasoning |
123
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
CADE
2008
Springer
16 years 3 months ago
2008
Springer
103
Voted
CADE
2004
Springer
16 years 3 months ago
2004
Springer
