PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.) Vol. 56(70), pp. 16 (1994) 

Representation of metamorphosis grammar in logic grammar: proof trees and their lengthsMarica D. Presi\'cMatematicki fakultet, Beograd, YugoslaviaAbstract: We consider the representations of metamorphosis grammar in logic grammar, more precisely in Horn predicate logic, developed in [C078] on the Colmerauer idea of defference lists. For the proofs in metamorphosis grammar in normal form the so called {\it normal length} of the proof is defined and it is shown that this length equals to the length of the corresponding proof in logic grammar. Classification (MSC2000): 03B65 Full text of the article:
Electronic fulltext finalized on: 1 Nov 2001. This page was last modified: 16 Nov 2001.
© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
