Volume 290, Number 1, January 2003
export record as
dblp key:
journals/tcs/MavronicolasP03 export record as
dblp key:
Frank A. Stomp :
Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm.
59-78
export record as
dblp key:
Didier Caucal :
On infinite transition graphs having a decidable monadic theory.
79-115
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Silvio Valentini :
A cartesian closed category in Martin-Löf's intuitionistic type theory.
189-219
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/BarbaneraB03 export record as
dblp key:
Koji Nakazawa :
Confluency and strong normalizability of call-by-value lambda-µ-calculus.
429-463
export record as
dblp key:
journals/tcs/Maggiolo-SchettiniPT03 export record as
dblp key:
journals/tcs/ChesnevarDSS03 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/BernardinelloFP03 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/LaurenceDHHH03 export record as
dblp key:
Roberta Gori :
An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
863-936
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Reinhard Pichler :
Explicit versus implicit representations of subsets of the Herbrand universe.
1021-1056
export record as
dblp key:
journals/tcs/Martinelli03 export record as
dblp key:
Volume 290, Number 2, January 2003 Dependable Computing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 290, Number 3, January 2003
export record as
dblp key:
Jacques Duparc :
A hierarchy of deterministic context-free omega-languages.
1253-1300
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Olivier Finkel :
Borel hierarchy and omega context free languages.
1385-1405
export record as
dblp key:
export record as
dblp key:
Andrei A. Muchnik :
The definable criterion for definability in Presburger arithmetic and its applications.
1433-1444
export record as
dblp key:
export record as
dblp key:
journals/tcs/BlazewiczK03 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/BeaudryHNO03 export record as
dblp key:
export record as
dblp key:
journals/tcs/BoufkhadDN03 export record as
dblp key:
export record as
dblp key:
Henning Fernau :
Identification of function distinguishable languages.
1679-1711
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/ShankarDDR03 export record as
dblp key:
journals/tcs/SzwarcfiterNBOCZ03 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Juha Honkala :
On images of D0L and DT0L power series.
1869-1882
export record as
dblp key:
Jop F. Sibeyn :
Faster deterministic sorting through better sampling.
1829-1850
export record as
dblp key:
export record as
dblp key:
journals/tcs/PuricellaS03 export record as
dblp key:
export record as
dblp key:
Andrei A. Muchnik :
One application of real-valued interpretation of formal power series.
1931-1946
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ioan Tomescu :
On the number of occurrences of all short factors in almost all words.
2031-2035
export record as
dblp key:
export record as
dblp key:
Wilfried Meidl :
Extended Games-Chan algorithm for the 2-adic complexity of FCSR-sequences.
2045-2051
export record as
dblp key:
José Carlos Costa :
Biinfinite words with maximal recurrent unbordered factors.
2053-2061
export record as
dblp key:
export record as
dblp key:
Véronique Terrier :
Characterization of real time iterative array by alternating device.
2075-2084
export record as
dblp key:
journals/tcs/Arratia-QuesadaS03 export record as
dblp key:
Dafa Li :
Is DNA computing viable for 3-SAT problems?
2095-2107
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/ChrobakCDW03 export record as
dblp key:
Ayse Karaman :
Weak repetitions in Sturmian strings.
2137-2146
export record as
dblp key:
export record as
dblp key:
Hung Q. Ngo :
A new routing algorithm for multirate rearrangeable Clos networks.
2157-2167
export record as
dblp key:
export record as
dblp key:
journals/tcs/Hashiguchi03 Kosaburo Hashiguchi :
Erratum to "New upper bounds to the limitedness of distance automata".
2183
data released under the ODC-BY 1.0 license
