@article{Tofte/90,
AUTHOR = {Tofte, Mads},
TITLE = {Type inference for polymorphic references},
JOURNAL = {Inf.~Comput.},
VOLUME = {89},
NUMBER = {1},
PAGES = {1-34},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Zaionc/90,
AUTHOR = {Zaionc, Marek},
TITLE = {A characterization of lambda definable tree operations},
JOURNAL = {Inf.~Comput.},
VOLUME = {89},
NUMBER = {1},
PAGES = {35-46},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ahlswede-Ye-Zhang/90,
AUTHOR = {Ahlswede, Rudolf and Ye, Jian-Ping and Zhang, Zhen},
TITLE = {Creating order in sequence spaces with simple machines},
JOURNAL = {Inf.~Comput.},
VOLUME = {89},
NUMBER = {1},
PAGES = {47-94},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kalyanasundaram-Schnitger/90,
AUTHOR = {Kalyanasundaram, Bala and Schnitger, Georg},
TITLE = {Rounds versus time for the two person pebble game},
JOURNAL = {Inf.~Comput.},
VOLUME = {88},
NUMBER = {1},
PAGES = {1-17},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Pelletier-Sakarovitch/90,
AUTHOR = {Pelletier, Maryse and Sakarovitch, Jacques},
TITLE = {Easy multiplications. II. Extensions of rational semigroups},
JOURNAL = {Inf.~Comput.},
VOLUME = {88},
NUMBER = {1},
PAGES = {18-59},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Itai-Rodeh/90,
AUTHOR = {Itai, Alon and Rodeh, Michael},
TITLE = {Symmetry breaking in distributed networks},
JOURNAL = {Inf.~Comput.},
VOLUME = {88},
NUMBER = {1},
PAGES = {60-87},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Paturi-Seiferas-Simon-Newman-Wolfe/90,
AUTHOR = {Paturi, Ramamohan and Seiferas, Joel I. and Simon, Janos and Newman-Wolfe, Richard E.},
TITLE = {Milking the Aanderaa argument},
JOURNAL = {Inf.~Comput.},
VOLUME = {88},
NUMBER = {1},
PAGES = {88-104},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Chang-Fan-Davisson/90,
AUTHOR = {Chang, Chein-I and Fan, Simon C. and Davisson, Lee D.},
TITLE = {On numerical methods of calculating the capacity of continuous-input discrete-output memoryless channels},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {1},
PAGES = {1-13},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kapur-Narendran-Otto/90,
AUTHOR = {Kapur, Deepak and Narendran, Paliath and Otto, Friedrich},
TITLE = {On ground-confluence of term rewriting systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {1},
PAGES = {14-31},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ash-Hall-Pin/90,
AUTHOR = {Ash, C.J. and Hall, T.E. and Pin, J.E.},
TITLE = {On the varieties of languages associated with some varieties of finite monoids with commuting idempotents},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {1},
PAGES = {32-42},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kanellakis-Smolka/90,
AUTHOR = {Kanellakis, Paris C. and Smolka, Scott A.},
TITLE = {CCS expressions, finite state processes, and three problems of equivalence},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {1},
PAGES = {43-68},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Sack-Strothotte/90,
AUTHOR = {Sack, J{\"o}rg-R{\"u}diger and Strothotte, Thomas},
TITLE = {A characterization of heaps and its applications},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {1},
PAGES = {69-86},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bodlaender/90,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {The complexity of finding uniform emulations on paths and ring networks},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {1},
PAGES = {87-106},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Litow/90,
AUTHOR = {Litow, Bruce E.},
TITLE = {Parallel complexity of the regular code problem},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {1},
PAGES = {107-114},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Asperti/90,
AUTHOR = {Asperti, Andrea},
TITLE = {Stability and computability in coherent domains},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {2},
PAGES = {115-139},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Frederickson/90a,
AUTHOR = {Frederickson, Greg N.},
TITLE = {A distributed shortest path algorithm for a planar network},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {2},
PAGES = {140-159},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Allender-Watanabe/90,
AUTHOR = {Allender, Eric and Watanabe, Osamu},
TITLE = {Kolmogorov complexity and degrees of tally sets},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {2},
PAGES = {160-178},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Goldstine-Kintala-Wotschke/90,
AUTHOR = {Goldstine, Jonathan and Kintala, C.M.R. and Wotschke, Detlef},
TITLE = {On measuring nondeterminism in regular languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {2},
PAGES = {179-194},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fulop-Vagvolgyi/90b,
AUTHOR = {F{\"u}l{\"o}p, Z. and V{\'a}gv{\"o}lgyi, S.},
TITLE = {A complete rewriting system for a monoid of tree transformation classes},
JOURNAL = {Inf.~Comput.},
VOLUME = {86},
NUMBER = {2},
PAGES = {195-212},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}