1670 search results - page 140 / 334 » On Skolemization in constructive theories |
191
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this survey a novel system, called the oscillator system, consisting of order of p3 functions (signals) on the finite field Fp, is described and studied. The new functions are p...
172
click to vote
JLP
2008
15 years 6 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
141
click to vote
ENTCS
2007
15 years 6 months ago
2007
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
184
click to vote
SIAMCOMP
2008
15 years 6 months ago
2008
Abstract. We present efficient compression algorithms for subgroups of multiplicative groups of finite fields, we use our compression algorithms to construct efficient public key c...
151
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we are going to introduce the notion of strong non-standard completeness (SNSC) for fuzzy logics. This notion naturally arises from the well known construction by ul...