12774 search results - page 157 / 2555 » A Framework for Proof Systems |
131
click to vote
FOCS
1998
IEEE
15 years 8 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
127
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
165
click to vote
AIML
2006
15 years 5 months ago
2006
We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference ...
152
click to vote
ENTCS
2008
15 years 4 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
136
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper investigates the properties of social choice functions that represent resource allocation strategies in interference coupled wireless systems. The allocated resources ca...