default search action

combined dblp search
author search
venue search
publication search

ask others

International Journal of Foundations of Computer Science, Volume 5

> Home > Journals > International Journal of Foundations of Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 5, Number 1, March 1994

- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/Tatsuta94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/Tatsuta94
Makoto Tatsuta:
Two Realizability Interpretations of Monotone Inductive Definitions. 1-21
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/Tel94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/Tel94
Gerard Tel:
Network Orientation. 23-57
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/Bodlaender94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/Bodlaender94
Hans L. Bodlaender:
On Disjoint Cycles. 59-68
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/CulikK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/CulikK94
Karel Culík II, Juhani Karhumäki:
Iterative Devices Generating Infinite Words. 69-97
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/ChenN94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/ChenN94
Wen-Chin Chen, Wen-Chun Ni:
On the Average Altitude of Heap-Ordered Trees. 99-109

Volume 5, Number 2, June 1994

- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/KhoongL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/KhoongL94
C. M. Khoong, H. W. Leong:
Relaxed Inorder Heaps. 111-128
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/Stark94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/Stark94
Robert F. Stärk:
Cut-Property and Negation as Failure. 129-164
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/CarpentieriS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/CarpentieriS94
Bruno Carpentieri, James A. Storer:
Optimal Inter-Frame Alignment for Video Compression. 165-177
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/LieberherrX94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/LieberherrX94
Karl J. Lieberherr, Cun Xiao:
Customizing Adaptive Software to Object-Oriented Software Using Grammars. 179-208
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/Sanchis94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/Sanchis94
Laura A. Sanchis:
Constructing Language Instances Based on Partial Information. 209-229

Volume 5, Number 3/4, December 1994

- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/TrahanV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/TrahanV94
Jerry L. Trahan, S. Vedantham:
Analysis of PRAM Instruction Sets from a Log Cost Perspective. 231-246
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/MaelbranckeO94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/MaelbranckeO94
Rudi Maelbrancke, Henk Olivié:
Dynamic Tree Rebalancing Using Recurrent Rotations. 247-260
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/LeungY94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/LeungY94
Joseph Y.-T. Leung, Vincent K. M. Yu:
Heuristic for Minimizing the Number of Late Jobs on Two Processors. 262-279
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/YenWY94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/YenWY94
Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang:
Some Complexity Results for Rings of Petri Nets. 282-292
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/Cai94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/Cai94
Jin-yi Cai:
Computing Jordan Normal Forms Exactly for Commuting Matrices in Polynomial Time. 293-302
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/Ogihara94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/Ogihara94
Mitsunori Ogihara:
On Serializable Languages. 303-318
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/DurisR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/DurisR94
Pavol Duris, José D. P. Rolim:
Conjunctive and Disjunctive Reducibilities to Sparse and Tally Sets Revisited. 319-328
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/LieberherrX94a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/LieberherrX94a
Karl J. Lieberherr, Cun Xiao:
Erratum: Customizing Adaptive Software to Object-Oriented Software Using Grammars. 329-

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.