2529 search results - page 143 / 506 » The Logical Structure of Binding |
196
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
175
click to vote
NAR
2007
15 years 6 months ago
2007
Understanding interactions between proteins and RNA is key to deciphering the mechanisms of many important biological processes. Here we describe RNABindR, a web-based server that...
180
click to vote
NAR
2011
14 years 9 months ago
2011
The IUPHAR database is an established online reference resource for several important classes of human drug targets and related proteins. As well as providing recommended nomencla...
189
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
172
Voted
JSW
2008
15 years 6 months ago
2008
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...