@article{Reith-Vollmer/03,
AUTHOR = {Reith, Steffen and Vollmer, Heribert},
TITLE = {Optimal satisfiability for propositional calculi and constraint satisfaction problems},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {1},
PAGES = {1-19},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00092-0},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Bshouty/03,
AUTHOR = {Bshouty, Nader H.},
TITLE = {The monotone theory for the PAC-model},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {1},
PAGES = {20-35},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00116-0},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Schmid-Schossmaier/03,
AUTHOR = {Schmid, Ulrich and Schossmaier, Klaus},
TITLE = {Interval-based clock synchronization with optimal precision},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {1},
PAGES = {36-77},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {fault-tolerant distributed real-time systems, hybrid fault models, link failures, external clock synchronization, convergence functions, marzullo function, accuracy intervals, clock granularity},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00103-2},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Ablayev-Karpinski/03,
AUTHOR = {Ablayev, Farid and Karpinski, Marek},
TITLE = {A lower bound for integer multiplication on randomized ordered read-once branching programs},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {1},
PAGES = {78-89},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {deterministic and randomized branching programs, obdd, complexity, lower bounds, integer multiplication, randomized algorithms},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00118-4},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Fenner-Fortnow-Naik-Rogers/03,
AUTHOR = {Fenner, Stephen A. and Fortnow, Lance and Naik, Ashish V. and Rogers, John D.},
TITLE = {Inverting onto functions},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {1},
PAGES = {90-103},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00119-6},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Amir-Beigel-Gasarch/03,
AUTHOR = {Amir, Amihood and Beigel, Richard and Gasarch, William},
TITLE = {Some connections between bounded query classes and non-uniform complexity},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {1},
PAGES = {104-139},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00091-9},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Ilie-Yu/03,
AUTHOR = {Ilie, Lucian and Yu, Sheng},
TITLE = {Follow automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {1},
PAGES = {140-162},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {regular expressions, nondeterministic finite automata, algorithms, positions, partial derivatives, quotients, right-invariant equivalences, $\epsilon$-elimination},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00090-7},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Pitts/03,
AUTHOR = {Pitts, Andrew M.},
TITLE = {Nominal logic, a first order theory of names and binding},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {2},
PAGES = {165-193},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {abstract syntax, variable binding, permutation, fresh names},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00138-X},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Caires-Cardelli/03,
AUTHOR = {Caires, Lu{\'{\i}}s and Cardelli, Luca},
TITLE = {A spatial logic for concurrency (part I)},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {2},
PAGES = {194-235},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00137-8},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Ogawa/03,
AUTHOR = {Ogawa, Mizuhito},
TITLE = {A linear time algorithm for monadic querying of indefinite data over linearly ordered domains},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {2},
PAGES = {236-259},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {well-quasi-ordering, higman's lemma, indefinite data, query answering, linear-time algorithm},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00142-1},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Wadler/03,
AUTHOR = {Wadler, Philip},
TITLE = {The Girard-Reynolds isomorphism},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {2},
PAGES = {260-284},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00141-X},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Bonsangue-Kok/03,
AUTHOR = {Bonsangue, Marcello M. and Kok, Joost N.},
TITLE = {Infinite intersection types},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {2},
PAGES = {285-318},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00143-3},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Niehren-Priesnitz/03,
AUTHOR = {Niehren, Joachim and Priesnitz, Tim},
TITLE = {Non-structural subtype entailment in automata theory},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {2},
PAGES = {319-354},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {programming languages, subtyping, finite automata, word equations},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00140-8},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Esparza-Kucera-Schwoon/03,
AUTHOR = {Esparza, Javier and Ku{\v{c}}era, Anton{\'{\i}}n and Schwoon, Stefan},
TITLE = {Model checking LTL with regular valuations for pushdown systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {186},
NUMBER = {2},
PAGES = {355-376},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {model checking, linear-time logic, pushdown automata},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00139-1},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}