Geodesic

Volume 29 (1999) no. 2

Sommaire

The injective huli and the 6c-hullof a topological space
An inequality related to two integer sequences satisfying an order condition
Formal specification of a graph rewriting system with environments
Directable automata and their generalizations: a survey
Good quotient relations and power algebras
Decidability problems for the variety generated by tournaments
A survey of algebra of tournaments
Free groupoids with axioms of the form x^(m+1)y = xy and/or xy^(n+l) = xy
Injective vector valued semigroups
Weighted block designsand Steiner systems
Completeness, functional completeness and relative completeness
On subalgebras in Hilbert algebras
On fuzzy ideals in Hilbert algebras
Natural deduction and sequent typed lambda calculus
A left compatible coequality relation on a semigroup with apartness