EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 56(70), pp. 1--6 (1994)

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

Representation of metamorphosis grammar in logic grammar: proof trees and their lengths

Marica D. Presi\'c

Matematicki fakultet, Beograd, Yugoslavia

Abstract: 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
© 2001 ELibM for the EMIS Electronic Edition