scientific article; zbMATH DE number 575379
From MaRDI portal
Publication:4294448
zbMath0865.68016MaRDI QIDQ4294448
Publication date: 26 May 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)
Related Items
On the existence of multiple solutions of a boundary value problem arising from flows in floating cavities, A note on a global version of the Coleman embedding, Transversality in elliptic Morse theory for the symplectic action, Cohomology at infinity and the well-rounded retract for general linear groups, Intrinsic heights of stable varieties and abelian varieties, On Serre's conjecture for mod \(\ell \) Galois representations over totally real fields, Quantum chaos on constant negative curvature surfaces, Some operations on the ranked spaces, I, A refinement of Rasmussen's \({s}\)-invariant, Numerically positive line bundles on an Arakelov variety, Inequalities for the Casorati curvatures of real hypersurfaces in some Grassmannians, A theory for Log-Space and NLIN versus co-NLIN, Harmonic Maass forms of weight 1, Unnamed Item, p-adic K-theory of elliptic curves, On König-Egerváry collections of maximum critical independent sets, An application of the Chebyshev polynomials for the calculation of a rarefied gas flow in the cylindrical geometry of the channels, Analysis of Tumor/Effector Cell Dynamics and Decision Support in Therapy, A GEOMETRIC APPROACH TO RADIAL CORRELATION TYPE PROBLEMS, Lazy generation of induction hypotheses, Unification in an extensional lambda calculus with ordered function sorts and constant overloading, Unimodality and Lie Superalgebras, Small-dimensional classifying spaces for arithmetic subgroups of general linear groups