Volume 266, Number 1-2, September 2001
export record as
dblp key:
journals/tcs/SchurmannDP01 export record as
dblp key:
journals/tcs/MatsushitaR01 export record as
dblp key:
journals/tcs/AguileraGOV01 export record as
dblp key:
export record as
dblp key:
René David :
On the asymptotic behaviour of primitive recursive algorithms.
159-193
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/HashimotoO01 export record as
dblp key:
export record as
dblp key:
journals/tcs/Koubarakis01 Manolis Koubarakis :
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning.
311-339
export record as
dblp key:
export record as
dblp key:
journals/tcs/WijesekeraGSN01 export record as
dblp key:
César Muñoz :
Proof-term synthesis on dependent-type systems via explicit substitutions.
407-440
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Susumu Yamasaki ,
Yoshinori Kurose :
A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics.
489-512
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jirí Srba :
Basic process algebra with deadlocking states.
605-630
export record as
dblp key:
export record as
dblp key:
journals/tcs/AbrahamDHK01 export record as
dblp key:
export record as
dblp key:
journals/tcs/Khasidashvili01 Zurab Khasidashvili :
On the longest perpetual reductions in orthogonal expression reduction systems.
737-772
export record as
dblp key:
export record as
dblp key:
journals/tcs/SchlechtaD01 export record as
dblp key:
export record as
dblp key:
Robert Goldblatt :
What is the coalgebraic analogue of Birkhoff's variety theorem?
853-886
export record as
dblp key:
journals/tcs/AulettaCGKP01 export record as
dblp key:
journals/tcs/Majster-Cederbaum01 export record as
dblp key:
export record as
dblp key:
Thierry Joly :
Constant time parallel computations in lambda-calculus.
975-985
export record as
dblp key:
export record as
dblp key:
Dieter Spreen :
Corrigendum to "On functions preserving levels of approximation: a refined model construction for various lambda calculi".
997-998
data released under the ODC-BY 1.0 license
