4592 search results - page 249 / 919 » Framework for Studying Substitution |
135
click to vote
ISSAC
1990
Springer
15 years 11 months ago
1990
Springer
In the previous papers [7-101we defined and explored a formal methodological framework on the basis of which resolution proof systems for strongly-finite logics can be introduced ...
201
click to vote
EUROGP
2006
Springer
15 years 11 months ago
2006
Springer
This paper extends a geometric framework for interpreting crossover and mutation [4] to the case of sequences. This representation is important because it is the link between artif...
180
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
178
click to vote
IWFM
2003
15 years 8 months ago
2003
Peer-to-peer systems like Napster, Gnutella and Kazaa have recently become popular for sharing information. In this paper, we show how to design peer-to-peer systems within the ac...
206
Voted
ENTCS
2008
15 years 7 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...