@article{Poigne/86,
AUTHOR = {Poign{\'e}, A.},
TITLE = {On specifications, theories, and models with higher types},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {1-46},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lynch-Griffeth-Fischer-Guibas/86,
AUTHOR = {Lynch, N.A. and Griffeth, N.D. and Fischer, M.J. and Guibas, L.J.},
TITLE = {Probabilistic analysis of a network resource allocation algorithm},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {47-85},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Immerman/86,
AUTHOR = {Immerman, N.},
TITLE = {Relational queries computable in polynomial time},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {86-104},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Chazelle-Cole-Preparata-Yap/86,
AUTHOR = {Chazelle, B. and Cole, R. and Preparata, F.P. and Yap, C.},
TITLE = {New upper bounds for neighbor searching},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {105-124},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Graf-Sifakis/86b,
AUTHOR = {Graf, S. and Sifakis, J.},
TITLE = {A modal characterization of observational congruence on finite terms of CCS},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {125-145},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Townsend/86,
AUTHOR = {Townsend, M.},
TITLE = {A polynomial jump operator},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {146-169},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hoffmann-Mehlhorn-Rosenstiehl-Tarjan/86,
AUTHOR = {Hoffmann, K. and Mehlhorn, K. and Rosenstiehl, P. and Tarjan, R.E.},
TITLE = {Sorting Jordan sequences in linear time using level-linked search trees},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {170-184},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Brandt/86,
AUTHOR = {Brandt, U.},
TITLE = {The position of index sets of identifiable sets in the arithmetical hierarchy},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {185-195},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Huynh/86a,
AUTHOR = {Huynh, D.T.},
TITLE = {A superexponential lower bound for Gr{\"o}bner bases and Church-Rosser commutative Thue systems},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {196-206},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Flanagan/86,
AUTHOR = {Flanagan, P.A.},
TITLE = {An optimally data efficient isomorphism inference algorithm},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {207-222},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Apt-Delporte-Gallet/86,
AUTHOR = {Apt, K.R. and Delporte-Gallet, C.},
TITLE = {Syntax directed analysis of liveness properties of while programs},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {223-253},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Graf-Sifakis/86a,
AUTHOR = {Graf, S. and Sifakis, J.},
TITLE = {A logic for the description of non-deterministic programs and their properties},
JOURNAL = {Inf.~Control},
VOLUME = {68},
NUMBER = {1-3},
PAGES = {254-270},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}