Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths.
Intensional logic with deep cases.
A generalization of equivalence relations.
A convergence theorem for a method for simultaneous determination of all zeros of a polynomial.
Some embedding theorems.
A constructive proof of equivalence of formalism of DCG's with the formalism of type 0 phrase-structure grammars.
On The Greatest Congruence Of Relations
On Free Commutative Groupoids
On the Embedding of Propositional Models
Formalne gramatike
A Convergence Theorem for a Method for Simultaneous Determination of all Zeros of a Polynomial
Page 1