1101 search results - page 91 / 221 » Forcing in proof theory |
ESWS
2005
Springer
15 years 6 months ago
2005
Springer
Although OWL is rather expressive, it has a very serious limitation on datatypes; i.e., it does not support customised datatypes. It has been pointed out that many potential users...
118
click to vote
APAL
2008
15 years 22 days ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
110
click to vote
JCT
2007
15 years 15 days ago
2007
Let P(G,t) and F(G,t) denote the chromatic and flow polynomials of a graph G. D.R. Woodall has shown that, if G is a plane triangulation, then the only zeros of P(G,t) in (−∞...
108
Voted
SIAMNUM
2010
14 years 7 months ago
2010
In this paper we develop an a posteriori error analysis of a new conforming mixed finite element method for the coupling of fluid flow with porous media flow. The flows are govern...
125
Voted
ASIACRYPT
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. ESIGN is an efficient signature scheme that has been proposed in the early nineties (see [14]). Recently, an effort was made to lay ESIGN on firm foundations, using the...