Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=International Journal of Foundations of Computer Science AND YEAR=1994
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Two realizability interpretations of monotone inductive definitions
Makoto Tatsuta
International Journal of Foundations of Computer Science
5
(1), 1994, pp. 1-21
Network orientation
Gerard Tel
International Journal of Foundations of Computer Science
5
(1), 1994, pp. 23-57
On disjoint cycles
Hans L. Bodlaender
International Journal of Foundations of Computer Science
5
(1), 1994, pp. 59-68
Iterative devices generating infinite words
Karel Culik II
,
Juhani Karhumäki
International Journal of Foundations of Computer Science
5
(1), 1994, pp. 69-97
On the average altitude of heap-ordered trees
Wen-Chin Chen
,
Wen-Chun Ni
International Journal of Foundations of Computer Science
5
(1), 1994, pp. 99-109
Relaxed inorder heaps
C.M. Khoong
,
H.W. Leong
International Journal of Foundations of Computer Science
5
(2), 1994, pp. 111-128
Cut-property and negation as failure
Robert F. Stärk
International Journal of Foundations of Computer Science
5
(2), 1994, pp. 129-164
Optimal inter-frame alignment for video compression
Bruno Carpentieri
,
James A. Storer
International Journal of Foundations of Computer Science
5
(2), 1994, pp. 165-177
Customizing adaptive software to object-oriented software using grammars
Karl J. Lieberherr
,
Cun Xiao
International Journal of Foundations of Computer Science
5
(2), 1994, pp. 179-208
Constructing language instances based on partial information
Laura A. Sanchis
International Journal of Foundations of Computer Science
5
(2), 1994, pp. 209-229
Analysis of PRAM instruction sets from a log cost perspective
Jerry L. Trahan
,
Sundararajan Vedantham
International Journal of Foundations of Computer Science
5
(3-4), 1994, pp. 231-246
Dynamic tree rebalancing using recurrent rotations
Rudi Maelbráncke
,
Henk Olivié
International Journal of Foundations of Computer Science
5
(3-4), 1994, pp. 247-260
Heuristic for minimizing the number of late jobs on two processors
Joseph Y.-T. Leung
,
Vincent K.M. Yu
International Journal of Foundations of Computer Science
5
(3-4), 1994, pp. 261-279
Some complexity results for rings of Petri nets
Hsu-Chun Yen
,
Bow-Yaw Wang
,
Ming-Shang Yang
International Journal of Foundations of Computer Science
5
(3-4), 1994, pp. 281-292
Computing Jordan normal forms exactly for commuting matrices in polynomial time
Jin-Yi Cai
International Journal of Foundations of Computer Science
5
(3-4), 1994, pp. 293-302
On serializable languages
Mitsunori Ogihara
International Journal of Foundations of Computer Science
5
(3-4), 1994, pp. 303-318
Conjunctive and disjunctive reducibilities to sparse and tally sets revisited
Pavol D̑uris̑
,
José D.P. Rolim
International Journal of Foundations of Computer Science
5
(3-4), 1994, pp. 319-328