@article{Aehlig-Berger-Hofmann-Schwichtenberg/04,
AUTHOR = {Aehlig, Klaus and Berger, Ulrich and Hofmann, Martin and Schwichtenberg, Helmut},
TITLE = {An arithmetic for non-size-increasing polynomial-time computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {1-2},
PAGES = {3-27},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Logic, Arithmetic, Implicit computational complexity, Non-size-increasing polynomial time computation, Realizability, Higher types, Lambda calculus},
URL = {DOI:10.1016/j.tcs.2003.10.023},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Baillot/04,
AUTHOR = {Baillot, Patrick},
TITLE = {Stratified coherence spaces: A denotational semantics for light linear logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {1-2},
PAGES = {29-55},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {DOI:10.1016/j.tcs.2003.10.015},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bellantoni-Oitavem/04,
AUTHOR = {Bellantoni, S. and Oitavem, I.},
TITLE = {Separating $NC$ along the $\delta$ axis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {1-2},
PAGES = {57-78},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {DOI:10.1016/j.tcs.2003.10.021},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Benzinger/04,
AUTHOR = {Benzinger, Ralph},
TITLE = {Automated higher-order complexity analysis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {1-2},
PAGES = {79-103},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Computational complexity analysis, Functional programs, Higher-order complexity, Program synthesis, Feasible mathematics},
URL = {DOI:10.1016/j.tcs.2003.10.022},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Danner-Pollett/04,
AUTHOR = {Danner, N. and Pollett, C.},
TITLE = {Minimization and $NP$ multifunctions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {1-2},
PAGES = {105-119},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Implicit computational complexity, Non-deterministic partial multifunctions, Safe recursion, Minimization},
URL = {DOI:10.1016/j.tcs.2003.10.020},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hofmann-Scott/04,
AUTHOR = {Hofmann, M. and Scott, P.J.},
TITLE = {Realizability models for BLL-like languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {1-2},
PAGES = {121-137},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Linear logic, Complexity lambda calculus, Finite model theory},
URL = {DOI:10.1016/j.tcs.2003.10.019},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kristiansen-Niggl/04,
AUTHOR = {Kristiansen, L. and Niggl, K.-H.},
TITLE = {On the computational complexity of imperative programming languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {1-2},
PAGES = {139-161},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Implicit computational complexity, Imperative programming languages, Subrecursion theory, Grzegorczyk hierarchy, Polynomial-time computability},
URL = {DOI:10.1016/j.tcs.2003.10.016},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lafont/04,
AUTHOR = {Lafont, Yves},
TITLE = {Soft linear logic and polynomial time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {1-2},
PAGES = {163-180},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Linear logic, Second order lambda-calculus, Polynomial time},
URL = {DOI:10.1016/j.tcs.2003.10.018},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Leivant/04,
AUTHOR = {Leivant, Daniel},
TITLE = {Intrinsic reasoning about functional programs II: Unipolar induction and primitive-recursion},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {1-2},
PAGES = {181-196},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {DOI:10.1016/j.tcs.2003.11.002},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Murawski-Ong/04,
AUTHOR = {Murawski, A.S. and Ong, C.-H.L.},
TITLE = {On an interpretation of safe recursion in light affine logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {1-2},
PAGES = {197-223},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Computational complexity, Light affine logic, Polynomial-time computability},
URL = {DOI:10.1016/j.tcs.2003.10.017},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Royer/04,
AUTHOR = {Royer, James S.},
TITLE = {On the computational complexity of Longley's $H$ functional},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {1-2},
PAGES = {225-241},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Sequential computability, Realizability, NP-hardness, Higher-type computational complexity},
URL = {DOI:10.1016/j.tcs.2003.10.024},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Majster-Cederbaum-Salger/04,
AUTHOR = {Majster-Cederbaum, Mila and Salger, Frank},
TITLE = {Towards the hierarchical verification of reactive systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {3},
PAGES = {243-296},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Reactive systems, Verification, Syntactic action refinement, Modal Mu-calculus},
URL = {DOI:10.1016/j.tcs.2003.08.009},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Alur-la_Torre-Pappas/04,
AUTHOR = {Alur, Rajeev and la Torre, Salvatore and Pappas, George J.},
TITLE = {Optimal paths in weighted timed automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {3},
PAGES = {297-322},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Hybrid systems, Model checking, Optimal reachability, Timed automata},
URL = {DOI:10.1016/j.tcs.2003.10.038},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Desharnais-Gupta-Jagadeesan-Panangaden/04,
AUTHOR = {Desharnais, Jos{\'e}e and Gupta, Vineet and Jagadeesan, Radha and Panangaden, Prakash},
TITLE = {Metrics for labelled Markov processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {3},
PAGES = {323-354},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Labelled Markov processes, Metric, Process Algebra},
URL = {DOI:10.1016/j.tcs.2003.09.013},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Karner/04,
AUTHOR = {Karner, Georg},
TITLE = {Continuous monoids and semirings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {3},
PAGES = {355-372},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Distributive $\Sigma$-algebras, Distributive multioperator monoids, Complete semirings, Continuous semirings, Complete partial orders, Scott topology},
URL = {DOI:10.1016/j.tcs.2004.01.020},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Broda-Damas-Finger-Silva_e_Silva/04,
AUTHOR = {Broda, Sabine and Damas, Lu{\'{\i}}s and Finger, Marcelo and Silva e Silva, Paulo},
TITLE = {The decidability of a fragment of BB'IW-logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {3},
PAGES = {373-408},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {DOI:10.1016/j.tcs.2004.02.002},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dal_Lago-Martini/04,
AUTHOR = {Dal Lago, Ugo and Martini, Simone},
TITLE = {Phase semantics and decidability of elementary affine logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {3},
PAGES = {409-433},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Linear logic, Light linear logic, Soft linear logic, Optimal reduction},
URL = {DOI:10.1016/j.tcs.2004.02.037},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Banerjee-Bujosa/04,
AUTHOR = {Banerjee, R.N. and Bujosa, A.},
TITLE = {A geometric interpretation of $LD$-resolution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {318},
NUMBER = {3},
PAGES = {435-470},
YEAR = {2004},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {Syntactic unification, SLD-resolution, Affine linear varieties, Free-modules, Semi-group ring, Dynamical systems},
URL = {DOI:10.1016/j.tcs.2004.03.007},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}