@article{Arazi/84,
AUTHOR = {Arazi, B.},
TITLE = {An approach for generating different types of Gray codes},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {1/2},
PAGES = {1-10},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Feldman/84,
AUTHOR = {Feldman, Y.A.},
TITLE = {A decidable propositional dynamic logic with explicit probabilities},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {1/2},
PAGES = {11-38},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cole-Yap/84,
AUTHOR = {Cole, R. and Yap, C.K.},
TITLE = {Geometric retrieval problems},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {1/2},
PAGES = {39-57},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Narendran-Otto-Winklmann/84,
AUTHOR = {Narendran, P. and Otto, F. and Winklmann, K.},
TITLE = {The uniform conjugacy problem for finite Church-Rosser Thue systems is $NP$-complete},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {1/2},
PAGES = {58-66},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Robson/84a,
AUTHOR = {Robson, J.M.},
TITLE = {Fast probabilistic RAM simulation of single tape Turing machine computations},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {1/2},
PAGES = {67-87},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kleijn-Penttonen-Rozenberg-Salomaa/84,
AUTHOR = {Kleijn, H.C.M. and Penttonen, M. and Rozenberg, G. and Salomaa, K.},
TITLE = {Direction independent context-sensitive grammars},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {1/2},
PAGES = {113-117},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Harel-Kozen/84,
AUTHOR = {Harel, D. and Kozen, D.},
TITLE = {A programming language for the inductive sets, and applications},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {1/2},
PAGES = {118-139},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Guting/84a,
AUTHOR = {G{\"u}ting, R.H.},
TITLE = {Dynamic C-oriented polygonal intersection searching},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {3},
PAGES = {143-163},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Franzblau-Kleitman/84a,
AUTHOR = {Franzblau, D.S. and Kleitman, D.J.},
TITLE = {An algorithm for covering polygons with rectangles},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {3},
PAGES = {164-189},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ehrenfeucht-Rozenberg/84,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {An easy proof of Greibach normal form},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {3},
PAGES = {190-199},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gouda-Manning-Yu/84,
AUTHOR = {Gouda, M.G. and Manning, E.G. and Yu, Y.T.},
TITLE = {On the progress of communication between two finite state machines},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {3},
PAGES = {200-216},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ajtai-Fredman-Komlos/84,
AUTHOR = {Ajtai, M. and Fredman, M. and Koml{\'o}s, J.},
TITLE = {Hash functions for priority queues},
JOURNAL = {Inf.~Control},
VOLUME = {63},
NUMBER = {3},
PAGES = {217-225},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wijshoff-van_Leeuwen/84,
AUTHOR = {Wijshoff, H.A.G. and van Leeuwen, J.},
TITLE = {Arbitrary versus periodic storage schemes and tesselations of the plane using one type of polyomino},
JOURNAL = {Inf.~Control},
VOLUME = {62},
NUMBER = {1},
PAGES = {1-25},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Itzhaik-Yehudai/84,
AUTHOR = {Itzhaik, Y. and Yehudai, A.},
TITLE = {An intermediate machine technique for deciding equivalence between a DPDA and a linear DPDA},
JOURNAL = {Inf.~Control},
VOLUME = {62},
NUMBER = {1},
PAGES = {26-35},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Giannini-Longo/84,
AUTHOR = {Giannini, P. and Longo, G.},
TITLE = {Effectively given domains and lambda-calculus models},
JOURNAL = {Inf.~Control},
VOLUME = {62},
NUMBER = {1},
PAGES = {36-63},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Krichevsky/84,
AUTHOR = {Krichevsky, R.E.},
TITLE = {Optimal hashing},
JOURNAL = {Inf.~Control},
VOLUME = {62},
NUMBER = {1},
PAGES = {64-92},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ladner-Stockmeyer-Lipton/84,
AUTHOR = {Ladner, R.E. and Stockmeyer, L.J. and Lipton, R.J.},
TITLE = {Alternation bounded auxiliary pushdown automata},
JOURNAL = {Inf.~Control},
VOLUME = {62},
NUMBER = {2/3},
PAGES = {93-108},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hong/84,
AUTHOR = {Hong, J.-W.},
TITLE = {On similarity and duality of computation (I)},
JOURNAL = {Inf.~Control},
VOLUME = {62},
NUMBER = {2-3},
PAGES = {109-128},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wegener/84,
AUTHOR = {Wegener, I.},
TITLE = {Optimal decision trees and one-time-only branching programs for symmetric boolean functions},
JOURNAL = {Inf.~Control},
VOLUME = {62},
NUMBER = {2-3},
PAGES = {129-143},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Main-Benson/84,
AUTHOR = {Main, M.G. and Benson, D.B.},
TITLE = {Functional behavior of nondeterministic and concurrent programs},
JOURNAL = {Inf.~Control},
VOLUME = {62},
NUMBER = {2-3},
PAGES = {144-189},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lundelius-Lynch/84,
AUTHOR = {Lundelius, J. and Lynch, N.},
TITLE = {An upper and lower bound for clock synchronization},
JOURNAL = {Inf.~Control},
VOLUME = {62},
NUMBER = {2-3},
PAGES = {190-204},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Friedman/84,
AUTHOR = {Friedman, H.},
TITLE = {On the spectra of universal relational sentences},
JOURNAL = {Inf.~Control},
VOLUME = {62},
NUMBER = {2-3},
PAGES = {205-209},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Munro-Poblete/84,
AUTHOR = {Munro, J.I. and Poblete, P.V.},
TITLE = {Fault tolerance and storage reduction in binary search trees},
JOURNAL = {Inf.~Control},
VOLUME = {62},
NUMBER = {2-3},
PAGES = {210-218},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Coffman-Gilbert/84,
AUTHOR = {Coffman, E.G., Jr. and Gilbert, E.N.},
TITLE = {Dynamic, First-Fit Packings in Two or More Dimensions},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {1},
PAGES = {1-14},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Levin/84a,
AUTHOR = {Levin, Leonid A.},
TITLE = {Randomnes Conservation Inequalities; Information and Independence in Mathematical Theories},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {1},
PAGES = {15-37},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mohan-Fussell-Silberschatz/84,
AUTHOR = {Mohan, C. and Fussell, D. and Silberschatz, A.},
TITLE = {Compatibility and Commutativity of Lock Modes},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {1},
PAGES = {38-64},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gurevich-Lewis/84,
AUTHOR = {Gurevich, Yuri and Lewis, Harry R.},
TITLE = {A Logic for Constant-Depth Circuits},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {1},
PAGES = {65-74},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Beeri-Vardi/84b,
AUTHOR = {Beeri, Catriel and Vardi, Moshe Y.},
TITLE = {On Acyclic Database Decompositions},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {2},
PAGES = {75-84},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Thiagarajan-Vos/84,
AUTHOR = {Thiagarajan, P.S. and Vos, K.},
TITLE = {A Fresh Look at Free Choice Nets},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {2},
PAGES = {85-113},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Doberkat/84,
AUTHOR = {Doberkat, Ernst E.},
TITLE = {An Average Case Analysis of {F}loyd's Algorithm to Construct Heaps},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {2},
PAGES = {114-131},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Feng-Tzeng/84,
AUTHOR = {Feng, G.L. and Tzeng, K.K.},
TITLE = {On Quasi-Perfect Property of Double-Error-Correcting {G}oppa Codes and Their Complete Decoding},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {2},
PAGES = {132-146},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Schmitt/84,
AUTHOR = {Schmitt, Peter H.},
TITLE = {Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {2},
PAGES = {147-158},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Even-Selman-Yacobi/84,
AUTHOR = {Even, Shimon and Selman, Alan L. and Yacobi, Yacov},
TITLE = {The Complexity of Promise Problems with Applications to Public-Key Cryptography},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {2},
PAGES = {159-173},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Emerson-Sistla/84,
AUTHOR = {Emerson, E. Allen and Sistla, A. Prasad},
TITLE = {Deciding Full Branching Time Logic},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {3},
PAGES = {175-201},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Broy/84a,
AUTHOR = {Broy, Manfred},
TITLE = {Semantics of Communicating Processes},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {3},
PAGES = {202-246},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Niwinski/84,
AUTHOR = {Niwi{\'n}ski, Damian},
TITLE = {Fixed-Point Characterization of Context-Free $\infty$-Languages},
JOURNAL = {Inf.~Control},
VOLUME = {61},
NUMBER = {3},
PAGES = {247-276},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Duris-Galil-Paul-Reischuk/84,
AUTHOR = {D{\'u}ri{\v{s}}, Pavol and Galil, Zvi and Paul, Wolfgang and Reischuk, R{\"u}diger},
TITLE = {Two Nonlinear Lower Bounds for On-Line Computations},
JOURNAL = {Inf.~Control},
VOLUME = {60},
NUMBER = {1-3},
PAGES = {1-11},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Tiuryn/84,
AUTHOR = {Tiuryn, Jerzy},
TITLE = {Unbounded Program Memory Adds to the Expressive Power of First-Order Programming Logic},
JOURNAL = {Inf.~Control},
VOLUME = {60},
NUMBER = {1-3},
PAGES = {12-35},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Falaschi-Levi-Palamidessi/84,
AUTHOR = {Falaschi, M. and Levi, G. and Palamidessi, C.},
TITLE = {A Synchronization Logic: Axiomatics and Formal Semantics of Generalized {H}orn Clauses},
JOURNAL = {Inf.~Control},
VOLUME = {60},
NUMBER = {1-3},
PAGES = {36-69},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Loui/84a,
AUTHOR = {Loui, Michael C.},
TITLE = {The Complexity of Sorting on Distributed Systems},
JOURNAL = {Inf.~Control},
VOLUME = {60},
NUMBER = {1-3},
PAGES = {70-85},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Harel-Peleg/84,
AUTHOR = {Harel, D. and Peleg, D.},
TITLE = {On Static Logics, Dynamic Logics, and Complexity Classes},
JOURNAL = {Inf.~Control},
VOLUME = {60},
NUMBER = {1-3},
PAGES = {86-102},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Soisalon-Soininen-Widmayer/84,
AUTHOR = {Soisalon-Soininen, Eljas and Widmayer, Peter},
TITLE = {On the Complexity of Concurrency Control by Locking in Distributed Database Systems},
JOURNAL = {Inf.~Control},
VOLUME = {60},
NUMBER = {1-3},
PAGES = {103-108},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bergstra-Klop/84,
AUTHOR = {Bergstra, J.A. and Klop, J.W.},
TITLE = {Process Algebra for Synchronous Communication},
JOURNAL = {Inf.~Control},
VOLUME = {60},
NUMBER = {1-3},
PAGES = {109-137},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Back-Mannila/84,
AUTHOR = {Back, R.J.R. and Mannila, H.},
TITLE = {A Semantic Approach to Program Modularity},
JOURNAL = {Inf.~Control},
VOLUME = {60},
NUMBER = {1-3},
PAGES = {138-167},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Papantoni-Kazakos/84,
AUTHOR = {Papantoni-Kazakos, P.},
TITLE = {A Game Theoretic Approach to Robust Filtering},
JOURNAL = {Inf.~Control},
VOLUME = {60},
NUMBER = {1-3},
PAGES = {168-191},
YEAR = {1984},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}