1695 search results - page 76 / 339 » Linear, Polynomial or Exponential |
115
click to vote
IPL
2008
15 years 4 months ago
2008
Quasi-reversible automata is a suitable representation for reversible languages. In this work a method is proposed to obtain such an automaton for any given reversible language re...
130
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin exte...
106
click to vote
AAECC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We review a binary sequence based on the generalized cyclotomy of order 2 with respect to p3 , where p is an odd prime. Linear complexities, minimal polynomials and autoc...
135
click to vote
CASC
2007
Springer
15 years 8 months ago
2007
Springer
We consider summation of consecutive values (v), (v +1), . . . , (w) of a meromorphic function (z) where v, w ZZ. We assume that (z) satisfies a linear difference equation L(y) = ...
139
click to vote
ACL
1994
15 years 5 months ago
1994
This paper defines multiset-valued linear index grammar and unordered vector grammar with dominance links. The former models certain uses of multisetvalued feature structures in u...