Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths.
Prešić, Marica D. (1994)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Prešić, Marica D. (1994)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Jozef Gruska (1975)
Kybernetika
Similarity:
G. H. Matthews (1965)
Kybernetika
Similarity:
Evžen Kindler (1975)
Kybernetika
Similarity:
Ivan Havel (1969)
Kybernetika
Similarity:
Tomáš Masopust, Alexander Meduna (2009)
RAIRO - Theoretical Informatics and Applications
Similarity:
This paper discusses context-free rewriting systems in which there exist two disjoint finite sets of rules, and a symbol, referred to as a condition of applicability, is attached to each rule in either of these two sets. In one set, a rule with a symbol attached to it is applicable if the attached symbol occurs in the current rewritten string while in the other set, such a rule is applicable if the attached symbol does not occur there. The present paper demonstrates that these rewriting...
Gheorghe Păun (1985)
Kybernetika
Similarity: