Fundamenta Informaticae, Volume 22

Volume 22, Number 1/2, January 1995

• Andrea Asperti:
  Linear Logic, Comonads and Optimal Reduction. 3-22
  
• Karl Heinz Hofmann, Michael W. Mislove:
  All Compact Hausdorff Lambda Models are Degenerate. 23-52
  
• Joachim Lambek:
  Cut Elimination for Classical Bilinear Logic. 53-67
  
• Giuseppe Longo:
  Parametric and Type-Dependent Polymorphism. 69-92
  
• Michael W. Mislove, Frank J. Oles:
  Adjunctions Between Categories of Domains. 93-116
  
• Eugenio Moggi:
  A Semantics for Evaluation Logic. 117-152
  
• György E. Révész:
  Categorical Combinations with Explicit Products. 153-166
  
• Eugene W. Stark:
  An Algebra of Dataflow Networks. 167-185
  
• Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters:
  Fix-point Semantics for Programs in Distributive Categories. 187-202
  

Volume 22, Number 3, March 1995

• Mikhail Moshkov:
  About the Depth of Decision Trees Computing Boolean Functions. 203-215
  
• Jürgen Dassow, Gheorghe Paun, Sorina Vicolov:
  On the Generative Capacity of Certain Classes of Cooperating Grammar Systems. 217-226
  
• Jürgen Dix:
  A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties. 227-255
  
• Jürgen Dix:
  A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties. 257-288
  
• Roman M. Kolpakov:
  On the Complexity of Generation of Rational Numbers by Boolean Functions. 289-298
  
• Pierpaolo Degano, Leonarda Raffoni:
  Fairness and Priority. 299-306
  

Volume 22, Number 4, April 1995

• David Eppstein, Gary L. Miller, Shang-Hua Teng:
  A Deterministic Linear Time Algorithm for Geometric Separators and its Applications. 309-329
  
• Christian Icking, Rolf Klein, Ngoc-Minh Lê, Lihong Ma:
  Convex Distance Functions in 3-Space are Different. 331-352
  
• David G. Kirkpatrick, Jack Snoeyink:
  Tentative Prune-and-Search for Computing Fixed-Points with Applications to Geometric Computation. 353-370
  
• Marshall W. Bern:
  Compatible Tetrahedralizations. 371-384
  
• Noga Alon, Sridhar Rajagopalan, Subhash Suri:
  Long Non-Crossing Configurations in the Plane. 385-394
  

Last update Tue Feb 14 04:18:00 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page