@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},
}