1670 search results - page 194 / 334 » On Skolemization in constructive theories |
172
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We introduce the concept of Conversion/Preference Games, or CP games for short. CP games generalize the standard notion of strategic games. First we exemplify the use of CP games. ...
134
click to vote
DCG
2010
15 years 6 months ago
2010
Abstract. Recently a curvature theory for polyhedral surfaces has been established which associates with each face a mean curvature value computed from areas and mixed areas of tha...
187
click to vote
ENTCS
2008
15 years 6 months ago
2008
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
127
click to vote
APAL
2006
15 years 6 months ago
2006
We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extend...
154
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
We address the problem of estimating discrete variables in a class of deterministic transition systems in which the continuous variables are available for measurement. We propose ...