![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
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 - Gerard Tel:
Network Orientation. 23-57 - Hans L. Bodlaender
:
On Disjoint Cycles. 59-68 - Karel Culík II, Juhani Karhumäki:
Iterative Devices Generating Infinite Words. 69-97 - Wen-Chin Chen, Wen-Chun Ni:
On the Average Altitude of Heap-Ordered Trees. 99-109
Volume 5, Number 2, June 1994
- C. M. Khoong, H. W. Leong:
Relaxed Inorder Heaps. 111-128 - Robert F. Stärk:
Cut-Property and Negation as Failure. 129-164 - Bruno Carpentieri, James A. Storer:
Optimal Inter-Frame Alignment for Video Compression. 165-177 - Karl J. Lieberherr, Cun Xiao:
Customizing Adaptive Software to Object-Oriented Software Using Grammars. 179-208 - Laura A. Sanchis:
Constructing Language Instances Based on Partial Information. 209-229
Volume 5, Number 3/4, December 1994
- Jerry L. Trahan, S. Vedantham:
Analysis of PRAM Instruction Sets from a Log Cost Perspective. 231-246 - Rudi Maelbrancke, Henk Olivié:
Dynamic Tree Rebalancing Using Recurrent Rotations. 247-260 - Joseph Y.-T. Leung, Vincent K. M. Yu:
Heuristic for Minimizing the Number of Late Jobs on Two Processors. 262-279 - Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang:
Some Complexity Results for Rings of Petri Nets. 282-292 - Jin-yi Cai:
Computing Jordan Normal Forms Exactly for Commuting Matrices in Polynomial Time. 293-302 - Mitsunori Ogihara:
On Serializable Languages. 303-318 - Pavol Duris, José D. P. Rolim:
Conjunctive and Disjunctive Reducibilities to Sparse and Tally Sets Revisited. 319-328 - Karl J. Lieberherr, Cun Xiao:
Erratum: Customizing Adaptive Software to Object-Oriented Software Using Grammars. 329-
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.