International Journal of Foundations of Computer Science, Volume 5

Volume 5, Number 1, March 1994

Makoto Tatsuta: Two Realizability Interpretations of Monotone Inductive Definitions. 1-21 BibTeX
Gerard Tel: Network Orientation. 23-57 BibTeX
Hans L. Bodlaender: On Disjoint Cycles. 59-68 BibTeX
Karel Culik II, Juhani Karhumäki: Iterative Devices Generating Infinite Words. 69-97 BibTeX
Wen-Chin Chen, Wen-Chun Ni: On the Average Altitude of Heap-Ordered Trees. 99-109 BibTeX

C. M. Khoong, H. W. Leong: Relaxed Inorder Heaps. 111-128 BibTeX
Robert F. Stärk: Cut-Property and Negation as Failure. 129-164 BibTeX
Bruno Carpentieri, James A. Storer: Optimal Inter-Frame Alignment for Video Compression. 165-177 BibTeX
Karl J. Lieberherr, Cun Xiao: Customizing Adaptive Software to Object-Oriented Software Using Grammars. 179-208 BibTeX
Laura A. Sanchis: Constructing Language Instances Based on Partial Information. 209-229 BibTeX

Jerry L. Trahan, S. Vedantham: Analysis of PRAM Instruction Sets from a Log Cost Perspective. 231-246 BibTeX
R. Maelbrancke, H. Olivie: Dynamic Tree Rebalancing Using Recurrent Rotations. 247-260 BibTeX
Joseph Y.-T. Leung, Vincent K. M. Yu: Heuristic for Minimizing the Number of Late Jobs on Two Processors. 262-279 BibTeX
Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang: Some Complexity Results for Rings of Petri Nets. 282-292 BibTeX
Jin-yi Cai: Computing Jordan Normal Forms Exactly for Commuting Matrices in Polynomial Time. 293-302 BibTeX
Mitsunori Ogihara: On Serializable Languages. 303-318 BibTeX
Pavol Duris, José D. P. Rolim: Conjunctive and Disjunctive Reducibilities to Sparse and Tally Sets Revisited. 319-328 BibTeX
Karl J. Lieberherr, Cun Xiao: Erratum: Customizing Adaptive Software to Object-Oriented Software Using Grammars. 329 BibTeX