Endomorphisms of stable planes are introduced, and it is shown that these are injective, locally constant or collapsed. Examples are studied, and it is shown that there are stable planes admitting "substantially more" endomorphisms than automorphisms
A program property is a predicate on programs. In this paper we explore program properties of the fo...
AbstractIn this survey paper we start with a discussion how functionals of finite type can be used f...
A program property is a predicate on programs. In this paper we explore program properties of the fo...
AbstractThe aim of this paper is to implement the β-reduction in the lambda;-calculus with a hypergr...
AbstractWe study three fragments of multiplicative linear logic with circular exchange, respectively...
„Weierstrass transformation in algebra of mnemofunctions" Mathematical Modelling Analysis, 2(1), p. ...
AbstractWe introduce an alternative occurrence net semantics of S/T-systems which allows for arbitra...
„On uniform in time error estimates for investigation of nonlinear difference schemes" Mathematical ...
Gyrotron is a special tube generating powerful radiowaves in the millimeter wave range. Gyrotrons ar...
We discuss recent work of several authors on the Kakeya needle problem and other related problems in...
AbstractThis paper examines left-linear non-orthogonal term graph rewriting systems that allow asymm...
In this paper, the concept of Abramov’s method for transferring boundary conditions posed for regula...
We illustrate the potential for geometry of language and linguistic circuitry under the rendering of...
We consider various finite difference schemes for the first and the second initial‐boundary value pr...
The problem of global uniformization of algebraic correspondence is investigated. The weaker assumpt...
A program property is a predicate on programs. In this paper we explore program properties of the fo...
AbstractIn this survey paper we start with a discussion how functionals of finite type can be used f...
A program property is a predicate on programs. In this paper we explore program properties of the fo...
AbstractThe aim of this paper is to implement the β-reduction in the lambda;-calculus with a hypergr...
AbstractWe study three fragments of multiplicative linear logic with circular exchange, respectively...
„Weierstrass transformation in algebra of mnemofunctions" Mathematical Modelling Analysis, 2(1), p. ...
AbstractWe introduce an alternative occurrence net semantics of S/T-systems which allows for arbitra...
„On uniform in time error estimates for investigation of nonlinear difference schemes" Mathematical ...
Gyrotron is a special tube generating powerful radiowaves in the millimeter wave range. Gyrotrons ar...
We discuss recent work of several authors on the Kakeya needle problem and other related problems in...
AbstractThis paper examines left-linear non-orthogonal term graph rewriting systems that allow asymm...
In this paper, the concept of Abramov’s method for transferring boundary conditions posed for regula...
We illustrate the potential for geometry of language and linguistic circuitry under the rendering of...
We consider various finite difference schemes for the first and the second initial‐boundary value pr...
The problem of global uniformization of algebraic correspondence is investigated. The weaker assumpt...
A program property is a predicate on programs. In this paper we explore program properties of the fo...
AbstractIn this survey paper we start with a discussion how functionals of finite type can be used f...
A program property is a predicate on programs. In this paper we explore program properties of the fo...
DOI
Add to ORKG