867 search results - page 8 / 174 » On Two Forms of Structural Recursion |
SFP
2004
15 years 1 months ago
2004
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...
88
Voted
CADE
2006
Springer
16 years 20 days ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...
CIE
2005
Springer
15 years 6 months ago
2005
Springer
1 and 2, and in the last Section 4 of this abstract I will outline very briefly some conclusions about recursion and complexity which I believe that they support. 1 Partial Algebr...
ICDIM
2008
IEEE
15 years 6 months ago
2008
IEEE
Sentence compression is the task of generating a grammatical short sentence from an original sentence, retaining important information. The existing methods of only removing the c...
95
Voted
RECOMB
2001
Springer
15 years 4 months ago
2001
Springer
The primary structure of a ribonucleic acid (RNA) molecule is a sequence of nucleotides (bases) over the four-letter alphabet fA; C; G; Ug. The secondary or tertiary structure of ...