3353 search results - page 205 / 671 » Laver and set theory |
158
click to vote
COLING
1996
15 years 7 months ago
1996
The focus of this article is the integration of two different perspectives on lexical semantics: Discourse Representation Theory's (DRT) inferentially motivated approach and ...
149
click to vote
APAL
2010
15 years 6 months ago
2010
First order reasoning about hyperintegers can prove things about sets of integers. In the author's paper Nonstandard Arithmetic and Reverse Mathematics, Bulletin of Symbolic L...
152
click to vote
JLP
2007
15 years 6 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
159
click to vote
FAC
1998
15 years 6 months ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
134
click to vote
IJON
1998
15 years 6 months ago
1998
The method presented here is aimed to a direct fast setting of the parameters of a RBF network for function approximation. It is based on a hierarchical gridding of the input spac...