@article{Tatsuta/94, AUTHOR = {Tatsuta, Makoto}, TITLE = {Two realizability interpretations of monotone inductive definitions}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {1}, PAGES = {1-21}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Tel/94, AUTHOR = {Tel, Gerard}, TITLE = {Network orientation}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {1}, PAGES = {23-57}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Bodlaender/94a, AUTHOR = {Bodlaender, Hans L.}, TITLE = {On disjoint cycles}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {1}, PAGES = {59-68}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Culik-Karhumaki/94, AUTHOR = {Culik II, Karel and Karhum{\"a}ki, Juhani}, TITLE = {Iterative devices generating infinite words}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {1}, PAGES = {69-97}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Chen-Ni/94a, AUTHOR = {Chen, Wen-Chin and Ni, Wen-Chun}, TITLE = {On the average altitude of heap-ordered trees}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {1}, PAGES = {99-109}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Khoong-Leong/94, AUTHOR = {Khoong, C.M. and Leong, H.W.}, TITLE = {Relaxed inorder heaps}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {2}, PAGES = {111-128}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Stark/94, AUTHOR = {St{\"a}rk, Robert F.}, TITLE = {Cut-property and negation as failure}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {2}, PAGES = {129-164}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Carpentieri-Storer/94, AUTHOR = {Carpentieri, Bruno and Storer, James A.}, TITLE = {Optimal inter-frame alignment for video compression}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {2}, PAGES = {165-177}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Lieberherr-Xiao/94, AUTHOR = {Lieberherr, Karl J. and Xiao, Cun}, TITLE = {Customizing adaptive software to object-oriented software using grammars}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {2}, PAGES = {179-208}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Sanchis/94, AUTHOR = {Sanchis, Laura A.}, TITLE = {Constructing language instances based on partial information}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {2}, PAGES = {209-229}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Trahan-Vedantham/94, AUTHOR = {Trahan, Jerry L. and Vedantham, Sundararajan}, TITLE = {Analysis of PRAM instruction sets from a log cost perspective}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {3-4}, PAGES = {231-246}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Maelbrancke-Olivie/94, AUTHOR = {Maelbr{\'{a}}ncke, Rudi and Olivi{\'{e}}, Henk}, TITLE = {Dynamic tree rebalancing using recurrent rotations}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {3-4}, PAGES = {247-260}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Leung-Yu/94, AUTHOR = {Leung, Joseph Y.-T. and Yu, Vincent K.M.}, TITLE = {Heuristic for minimizing the number of late jobs on two processors}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {3-4}, PAGES = {261-279}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Yen-Wang-Yang/94, AUTHOR = {Yen, Hsu-Chun and Wang, Bow-Yaw and Yang, Ming-Shang}, TITLE = {Some complexity results for rings of Petri nets}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {3-4}, PAGES = {281-292}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Cai/94b, AUTHOR = {Cai, Jin-Yi}, TITLE = {Computing Jordan normal forms exactly for commuting matrices in polynomial time}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {3-4}, PAGES = {293-302}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Ogihara/94, AUTHOR = {Ogihara, Mitsunori}, TITLE = {On serializable languages}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {3-4}, PAGES = {303-318}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Duris-Rolim/94, AUTHOR = {{\v{D}}uri{\v{s}}, Pavol and Rolim, Jos{\'{e}} D.P.}, TITLE = {Conjunctive and disjunctive reducibilities to sparse and tally sets revisited}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {5}, NUMBER = {3-4}, PAGES = {319-328}, YEAR = {1994}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, }