Equational Reformulation Of Formal Theories
Une Classe D'Équations Matricielles Et L'Équation Fonctionnelle f² = f
Sur Une Classe D'Inéqutions Aux Différences Finites Et Sur La Convergence De Certaines Suites
A Completness Theorem For One Class Of The Propositional Calculi
Sur Un Théorème De S. Zervos
An Algorithm For The Solution Of A 2 × 2 System Of Nonlinear Algebraic Equations
A way of Reducing the Factorization Problem in Z[x] to the Factorization Problem in Z
A Generalization of the Notion of Reproductivity
A Survey of the m-M Calculus
On the minimal distance of the zeros of a polynomial.
How to generalize logic programming to arbitrary set of clauses.
All reproductive solutions of finite equations.
Fin-set: a syntactical definition of finite sets.
Some embedding theorems.
A constructive proof of equivalence of formalism of DCG's with the formalism of type 0 phrase-structure grammars.
Page 1