2529 search results - page 7 / 506 » The Logical Structure of Binding |
TACS
2001
Springer
13 years 11 months ago
2001
Springer
LICS
1996
IEEE
13 years 11 months ago
1996
IEEE
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
TABLEAUX
1999
Springer
13 years 11 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
RECOMB
2007
Springer
14 years 7 months ago
2007
Springer
Transcription factor (TF) binding to its DNA target site is a fundamental regulatory interaction. The most common model used to represent TF binding specificities is a position spe...