652 search results - page 4 / 131 » Linear Explicit Substitutions |
111
Voted
JANCL
2006
15 years 5 months ago
2006
148
Voted
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper introduces a cut-elimination procedure of the intuitionistic sequent calculus and shows that it is isomorphic to the proof reduction of the intuitionistic natu...
173
click to vote
RTA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...
101
Voted
JCT
2011
15 years 1 days ago
2011
The substitution closure of a pattern class is the class of all permutations obtained by repeated substitution. The principal pattern classes (those defined by a single restricti...
122
click to vote
DCC
2007
IEEE
16 years 4 months ago
2007
IEEE
We consider grammar based text compression with longest first substitution, where non-overlapping occurrences of a longest repeating substring of the input text are replaced by a ...