3166 search results - page 203 / 634 » Translation By Structural Correspondences |
164
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
Developing Eclipse plug-ins often involves the creation of data structures and corresponding data processing code. In developing eAssignment, an Eclipse-bases application to suppo...
170
click to vote
SFP
2001
15 years 8 months ago
2001
: It is well known that type constructors of incomplete trees (trees with variables) carry the structure of a monad with substitution as the extension operation. Less known are the...
133
click to vote
COGSCI
2010
15 years 6 months ago
2010
This paper reports the results of a self-paced reading experiment in Japanese in which the materials consisted of four versions of successively more nested syntactic structures. I...
146
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We investigate the relation between the theory of the iterations in the sense of Shelah-Stupp and of Muchnik, resp., and the theory of the base structure for several logics. These ...
160
click to vote
ECCC
2002
15 years 6 months ago
2002
We shall give simpler proofs of some lower bounds on monotone computations. We describe a simple condition on combinatorial structures, such that the rank of the matrix associated...