1670 search results - page 97 / 334 » On Skolemization in constructive theories |
153
click to vote
COMBINATORICS
1998
15 years 6 months ago
1998
The paper gives a matrix-free presentation of the correspondence between full-length linear codes and projective multisets. It generalizes the BrouwerVan Eupen construction that t...
173
click to vote
LICS
2007
IEEE
16 years 20 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
142
click to vote
ACAL
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper, we apply a theoretical swarm-generating technique to a system implementing cluster-based construction. The technique, known as swarm engineering consists o...
169
click to vote
ICTAI
2006
IEEE
16 years 12 days ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
148
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...