default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
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.
last updated on 2025-02-03 20:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
