199 search results - page 2 / 40 » Denotations for Classical Proofs - Preliminary Results |
OL
2008
13 years 5 months ago
2008
: This short article offers economically intuitive proofs of the Euler equation and the maximum principle based on one of the best known results in economics, namely that the margi...
ENTCS
2007
13 years 5 months ago
2007
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
COMBINATORICS
2006
13 years 5 months ago
2006
Abstract. Let G denote a directed graph with adjacency matrix Q and indegree matrix D. We consider the Kirchhoff matrix L = D - Q, sometimes referred to as the directed Laplacian. ...
ISMVL
1999
IEEE
13 years 10 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...