142 search results - page 29 / 29 » Proving Termination by Invariance Relations |
CHARME
2001
Springer
13 years 9 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
NDJFL
2000
13 years 5 months ago
2000
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...