@article{Kurshan-McMillan/95,
AUTHOR = {Kurshan, R.P. and McMillan, K.L.},
TITLE = {A structural induction theorem for processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {1-11},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kleine_Buning-Karpinski-Flogel/95,
AUTHOR = {Kleine B{\"u}ning, Hans and Karpinski, Marek and Fl{\"o}gel, Andreas},
TITLE = {Resolution for quantified Boolean formulas},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {12-18},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ben-Amram-Galil/95,
AUTHOR = {Ben-Amram, Amir M. and Galil, Zvi},
TITLE = {On the power of the shift instruction},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {19-36},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lausen-Soisalon-Soininen/95,
AUTHOR = {Lausen, Georg and Soisalon-Soininen, Eljas},
TITLE = {Safety by uninterpreted locks},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {37-49},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Howell-Venkatrao/95,
AUTHOR = {Howell, Rodney R. and Venkatrao, Muralidhar K.},
TITLE = {On non-preemptive scheduling of recurring tasks using inserted idle times},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {50-62},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kim-Lee/95,
AUTHOR = {Kim, Changwook and Lee, Dong Hoon},
TITLE = {Node replacement graph languages squeezed with chains, trees, and forests},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {63-77},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Idury-Schaffer/95,
AUTHOR = {Idury, Ramana M. and Sch{\"a}ffer, Alejandro A.},
TITLE = {Multiple matching of rectangular patterns},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {78-90},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Shmueli/95,
AUTHOR = {Shmueli, Oded},
TITLE = {A single recursive predicate is sufficient for pure Datalog},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {91-97},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hoogers-Kleijn-Thiagarajan/95,
AUTHOR = {Hoogers, P.W. and Kleijn, H.C.M. and Thiagarajan, P.S.},
TITLE = {A trace semantics for Petri nets},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {98-114},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Castagna-Ghelli-Longo/95,
AUTHOR = {Castagna, Giuseppe and Ghelli, Giorgio and Longo, Giuseppe},
TITLE = {A calculus for overloaded functions with subtyping},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {115-135},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bellia-Occhiuto/95,
AUTHOR = {Bellia, Marco and Occhiuto, M. Eugenia},
TITLE = {Suprema of open and closed formulas and their application to resolution},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {136-150},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ludwig/95,
AUTHOR = {Ludwig, Walter},
TITLE = {A subexponential randomized algorithm for the simple stochastic game problem},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {1},
PAGES = {151-155},
YEAR = {1995, February},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Baudinet/95,
AUTHOR = {Baudinet, Marianne},
TITLE = {On the expressiveness of temporal logic programming},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {2},
PAGES = {157-180},
YEAR = {1995, March},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Aldous-Vazirani/95,
AUTHOR = {Aldous, David and Vazirani, Umesh},
TITLE = {A Markovian extension of Valiant's learning model},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {2},
PAGES = {181-186},
YEAR = {1995, March},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Paturi-Rajasekaran-Reif/95,
AUTHOR = {Paturi, Ramamohan and Rajasekaran, Sanguthevar and Reif, John},
TITLE = {The light bulb problem},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {2},
PAGES = {187-192},
YEAR = {1995, March},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Huynh-Tian/95,
AUTHOR = {Huynh, Dung T. and Tian, Lu},
TITLE = {On deciding readiness and failure equivalences for processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {2},
PAGES = {193-205},
YEAR = {1995, March},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Yokouchi/95,
AUTHOR = {Yokouchi, Hirofumi},
TITLE = {Embedding a second-order type system into an intersection type system},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {2},
PAGES = {206-220},
YEAR = {1995, March},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hennessy-Regan/95,
AUTHOR = {Hennessy, Matthew and Regan, Tim},
TITLE = {A process algebra for timed systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {2},
PAGES = {221-239},
YEAR = {1995, March},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ben-David-Itai-Kushilevitz/95,
AUTHOR = {Ben-David, Shai and Itai, Alon and Kushilevitz, Eyal},
TITLE = {Learning by distances},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {2},
PAGES = {240-250},
YEAR = {1995, March},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bossut-Dauchet-Warin/95,
AUTHOR = {Bossut, Francis and Dauchet, Max and Warin, Bruno},
TITLE = {A Kleene theorem for a class of planar acyclic graphs},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {2},
PAGES = {251-265},
YEAR = {1995, March},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Subramanian/95b,
AUTHOR = {Subramanian, Ashok},
TITLE = {The parallel complexity of propagation in boolean circuits},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {2},
PAGES = {266-275},
YEAR = {1995, March},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Goldman-Kearns-Schapire/95,
AUTHOR = {Goldman, Sally A. and Kearns, Michael J. and Schapire, Robert E.},
TITLE = {On the sample complexity of weak learning},
JOURNAL = {Inf.~Comput.},
VOLUME = {117},
NUMBER = {2},
PAGES = {276-287},
YEAR = {1995, March},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}