@article{Damm-Goerdt/86,
AUTHOR = {Damm, W. and Goerdt, A.},
TITLE = {An automata-theoretical characterization of the OI-hierarchy},
JOURNAL = {Inf.~Control},
VOLUME = {71},
NUMBER = {1/2},
PAGES = {1-32},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Youkouchi/86,
AUTHOR = {Youkouchi, H.},
TITLE = {Retraction map categories and their applications to the construction of lambda calculus models},
JOURNAL = {Inf.~Control},
VOLUME = {71},
NUMBER = {1/2},
PAGES = {33-86},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Zak/86,
AUTHOR = {Z{\'a}k, S.},
TITLE = {An exponential lower bound for real-time branching programs},
JOURNAL = {Inf.~Control},
VOLUME = {71},
NUMBER = {1/2},
PAGES = {87-94},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{MacQueen-Plotkin-Sethi/86,
AUTHOR = {MacQueen, D. and Plotkin, G. and Sethi, R.},
TITLE = {An ideal model for recursive polymorphic types},
JOURNAL = {Inf.~Control},
VOLUME = {71},
NUMBER = {1/2},
PAGES = {95-130},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Karpinski-Verbeek/86,
AUTHOR = {Karpinski, M. and Verbeek, R.},
TITLE = {On the power of two-way random generators and the impossibility of deterministic poly-space simulation},
JOURNAL = {Inf.~Control},
VOLUME = {71},
NUMBER = {1/2},
PAGES = {131-142},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bodlaender-van_Leeuwen/86,
AUTHOR = {Bodlaender, H.L. and van Leeuwen, J.},
TITLE = {Simulation of large networks on smaller networks},
JOURNAL = {Inf.~Control},
VOLUME = {71},
PAGES = {143-180},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Papadimitriou-Yannakakis/86,
AUTHOR = {Papadimitriou, C.H. and Yannakakis, M.},
TITLE = {A note on succinct representations of graphs},
JOURNAL = {Inf.~Control},
VOLUME = {71},
PAGES = {181-185},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mohan-Srivas/86,
AUTHOR = {Mohan, C.K. and Srivas, M.K.},
TITLE = {Function definitions in term rewriting and applicative programming},
JOURNAL = {Inf.~Control},
VOLUME = {71},
PAGES = {186-217},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Culik-Gruska-Salomaa/86,
AUTHOR = {Culik II, K. and Gruska, J. and Salomaa, A.},
TITLE = {Systolic trellis automata: stability, decidability and complexity},
JOURNAL = {Inf.~Control},
VOLUME = {71},
PAGES = {218-230},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Heller/86,
AUTHOR = {Heller, H.},
TITLE = {On relativized exponential and probabilistic complexity classes},
JOURNAL = {Inf.~Control},
VOLUME = {71},
PAGES = {231-243},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Atzeni-Morfuni/86,
AUTHOR = {Atzeni, P. and Morfuni, N.M.},
TITLE = {Functional dependencies and contraints on null values in database relations},
JOURNAL = {Inf.~Control},
VOLUME = {70},
NUMBER = {1},
PAGES = {1-31},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cole-Vishkin/86,
AUTHOR = {Cole, R. and Vishkin, U.},
TITLE = {Deterministic coin tossing with applications to optimal parallel list ranking},
JOURNAL = {Inf.~Control},
VOLUME = {70},
NUMBER = {1},
PAGES = {32-53},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Orponen-Schoning/86,
AUTHOR = {Orponen, P. and Sch{\"o}ning, U.},
TITLE = {The density and complexity of polynomial cores for intractable sets},
JOURNAL = {Inf.~Control},
VOLUME = {70},
NUMBER = {1},
PAGES = {54-68},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Osherson-Stob-Weinstein/86,
AUTHOR = {Osherson, D.N. and Stob, M. and Weinstein, S.},
TITLE = {Aggregating inductive expertise},
JOURNAL = {Inf.~Control},
VOLUME = {70},
NUMBER = {1},
PAGES = {69-95},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hart-Sharir/86,
AUTHOR = {Hart, S. and Sharir, M.},
TITLE = {Probabilistic propositional temporal logics},
JOURNAL = {Inf.~Control},
VOLUME = {70},
NUMBER = {2/3},
PAGES = {97-155},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Royer/86,
AUTHOR = {Royer, J.S.},
TITLE = {Inductive inference of approximations},
JOURNAL = {Inf.~Control},
VOLUME = {70},
NUMBER = {2/3},
PAGES = {156-178},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Moriya-Iwata-Kasai/86,
AUTHOR = {Moriya, E. and Iwata, Sh. and Kasai, T.},
TITLE = {A note on some simultaneous relations among time, space, and reversal for single work tape nondeterministic Turing machines},
JOURNAL = {Inf.~Control},
VOLUME = {70},
NUMBER = {2/3},
PAGES = {179-185},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gacs/86a,
AUTHOR = {G{\'a}cs, P.},
TITLE = {Every sequence is reducible to a random one},
JOURNAL = {Inf.~Control},
VOLUME = {70},
NUMBER = {2/3},
PAGES = {186-192},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lausen-Soisalon-Soininen-Widmayer/86,
AUTHOR = {Lausen, G. and Soisalon-Soininen, E. and Widmayer, P.},
TITLE = {Pre-analysis locking},
JOURNAL = {Inf.~Control},
VOLUME = {70},
NUMBER = {2/3},
PAGES = {193-215},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Denenberg-Gurevich-Shelah/86,
AUTHOR = {Denenberg, L. and Gurevich, Y. and Shelah, S.},
TITLE = {Definability by constant-depth polynomial-size circuits},
JOURNAL = {Inf.~Control},
VOLUME = {70},
NUMBER = {2/3},
PAGES = {216-240},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Homer-Reif/86,
AUTHOR = {Homer, S. and Reif, J.},
TITLE = {Arithmetic theories for computational complexity problems},
JOURNAL = {Inf.~Control},
VOLUME = {69},
NUMBER = {1-3},
PAGES = {1-11},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Daley-Smith/86,
AUTHOR = {Daley, R.P. and Smith, C.H.},
TITLE = {On the complexity of inductive inference},
JOURNAL = {Inf.~Control},
VOLUME = {69},
NUMBER = {1-3},
PAGES = {12-40},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{File/86,
AUTHOR = {Fil{\'e}, G.},
TITLE = {Machines for attribute grammars},
JOURNAL = {Inf.~Control},
VOLUME = {69},
NUMBER = {1-3},
PAGES = {41-124},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Zachos-Heller/86,
AUTHOR = {Zachos, S. and Heller, H.},
TITLE = {A decisive characterization of BPP},
JOURNAL = {Inf.~Control},
VOLUME = {69},
NUMBER = {1-3},
PAGES = {125-135},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Rozenberg-Welzl/86a,
AUTHOR = {Rozenberg, G. and Welzl, E.},
TITLE = {Boundary NLC graph grammars - basic definitions, normal forms, and complexity},
JOURNAL = {Inf.~Control},
VOLUME = {69},
NUMBER = {1-3},
PAGES = {136-167},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Atallah-Hambrusch/86,
AUTHOR = {Atallah, M.J. and Hambrusch, S.E.},
TITLE = {Solving tree problems on a mesh-connected processor array},
JOURNAL = {Inf.~Control},
VOLUME = {69},
NUMBER = {1-3},
PAGES = {168-187},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Curien/86,
AUTHOR = {Curien, P.-L.},
TITLE = {Categorical combinators},
JOURNAL = {Inf.~Control},
VOLUME = {69},
NUMBER = {1-3},
PAGES = {188-254},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Seiferas/86,
AUTHOR = {Seiferas, J.I.},
TITLE = {A simplified lower bound for context-free-language recognition},
JOURNAL = {Inf.~Control},
VOLUME = {69},
NUMBER = {1-3},
PAGES = {255-260},
YEAR = {1986},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@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},
}