International Journal of Foundations of Computer Science, Volume 11

Volume 11, Number 1, March 2000

• Harald Ganzinger, Florent Jacquemard, Margus Veanes: Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification. 3-27 BibTeX
• Martin Müller, Susumu Nishimura: Type Inference for First-Class Messages with Feature Constraints. 29-63 BibTeX
• Masatomo Hashimoto: First-Class Contexts in ML. 65-87 BibTeX
• Ichiro Ogata: Constructive Classical Logic as CPS-Calculus. 89-112 BibTeX
• Luca Roversi: Light Affine Logic as a Programming Language: A First Contribution. 113-152 BibTeX

• Zhonghua Yang, Chengzheng Sun, Yuan Miao, Abdul Sattar, Yanyan Yang: Guaranteed Mutually Consistent Checkpointing in Distributed Computations. 153-166 BibTeX
• Gheorghe Paun: Computing with Membranes (P Systems): A Variant. 167-181 BibTeX
• Arnold L. Rosenberg: Guidelines for Data-Parallel Cycle-Stealing in Networks of Workstations II: On Maximizing Guaranteed Output. 183-204 BibTeX

Volume 11, Number 2, June 2000

• Sanguthevar Rajasekaran, Sartaj Sahni: Special Issue on Randomized Computing. 205 BibTeX
• Keqin Li: A Method for Evaluating the Expected Load of Dynamic Tree Embeddings in Hypercubes. 207-230 BibTeX
• Nihar R. Mahapatra, Shantanu Dutt: Random Seeking: A General, Efficient, and Informed Randomized Scheme for Dynamic Load Balancing. 231-246 BibTeX
• Sotiris E. Nikoletseas, Krishna V. Palem, Paul G. Spirakis, Moti Yung: Connectivity Properties in Random Regular Graphs with Edge Faults. 247-262 BibTeX
• Hung-Min Sun: On the Dealer's Randomness Required in Perfect Secret Sharing Schemes with Access Structures of Constant Rank. 263-281 BibTeX

• R. K. Shyamasundar, S. Ramesh: Languages for Reactive Specifications: Synchrony Vs Asynchrony. 283-314 BibTeX
• Harald Hempel, Gerd Wechsung: The Operators min and max on the Polynomial Hierarchy. 315-342 BibTeX
• Hans Zantema, Hans L. Bodlaender: Finding Small Equivalent Decision Trees is Hard. 343-354 BibTeX

Volume 11, Number 3, September 2000

• Magnús M. Halldórsson, Jan Kratochvíl, Jan Arne Telle: Mod-2 Independence and Domination in Graphs. 355-363 BibTeX
• Ljubomir Perkovic, Bruce A. Reed: An Improved Algorithm for Finding Tree Decompositions of Small Width. 365-371 BibTeX
• Öjvind Johansson: NLC₂-Decomposition in Polynomial Time. 373-395 BibTeX
• Anne Berry, Jean Paul Bordat, Olivier Cogis: Generating All the Minimal Separators of a Graph. 397-403 BibTeX
• Anna Accornero, Massimo Ancona, Sonia Varini: All Separating Triangles in a Plane Graph Can Be Optimally "Broken" in Polynomial Time. 405-421 BibTeX
• Martin Charles Golumbic, Udi Rotics: On the Clique-Width of Some Perfect Graph Classes. 423-443 BibTeX
• Naomi Nishimura, Prabhakar Ragde, Dimitrios M. Thilikos: Finding Smallest Supertrees Under Minor Containment. 445-465 BibTeX
• Annegret Liebers, Dorothea Wagner, Karsten Weihe: On the Hardness of Recognizing Bundles in Time Table Graphs. 467-484 BibTeX

• Seonghun Cho, Sartaj Sahni: A New Weight Balanced Binary Search Tree. 485-513 BibTeX
• Takeshi Okadome: Some Sufficient Conditions of Learnability in the Limit From Positive Data. 515-524 BibTeX

Volume 11, Number 4, December 2000

• Sven Kosub, Heinz Schmitz, Heribert Vollmer: Uniform Characterizations of Complexity Classes of Functions. 525-551 BibTeX
• Anu G. Bourgeois, Jerry L. Trahan: Relating Two-Dimensional Reconfigurable Meshes with Optically Pipelined Buses. 553-571 BibTeX
• Guozhu Dong, Louxin Zhang: Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Systems Using (3k+1)-ary Input Relations. 573-578 BibTeX
• Paola Bonizzoni, Gianluca Della Vedova, Giancarlo Mauri: Approximating the Maximum Isomorphic Agreement Subtree is Hard. 579-590 BibTeX
• Ron van der Meyden: Predicate Boundedness of Linear Monadic Datalog is in PSPACE. 591-612 BibTeX
• Johannes Köbler, Wolfgang Lindner: Oracles in S^p₂ are Sufficient for Exact Learning. 615-632 BibTeX
• Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Victor Mitrana, György Vaszil: Parallel Communicating Pushdown Automata Systems. 633-650 BibTeX