2529 search results - page 7 / 506 » The Logical Structure of Binding |
57
Voted
TACS
2001
Springer
15 years 2 months ago
2001
Springer
LICS
1996
IEEE
15 years 1 months ago
1996
IEEE
WOLLIC
2007
Springer
15 years 3 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
15 years 1 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...
79
Voted
RECOMB
2007
Springer
15 years 10 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...