Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths.
Publications de l'Institut Mathématique. Nouvelle Série (1994)
- Volume: 56(70), page 1-6
- ISSN: 0350-1302
Access Full Article
top
How to cite
topPrešić, Marica D.. "Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths.." Publications de l'Institut Mathématique. Nouvelle Série 56(70) (1994): 1-6. <http://eudml.org/doc/257954>.
@article{Prešić1994,
author = {Prešić, Marica D.},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {proof length; metamorphosis grammar; logic grammar; Horn predicate logic; difference lists},
language = {eng},
pages = {1-6},
publisher = {Izdaje Matematički Institut SANU},
title = {Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths.},
url = {http://eudml.org/doc/257954},
volume = {56(70)},
year = {1994},
}
TY - JOUR
AU - Prešić, Marica D.
TI - Representation of metamorphosis grammar in logic grammar: Proof trees and their lengths.
JO - Publications de l'Institut Mathématique. Nouvelle Série
PY - 1994
PB - Izdaje Matematički Institut SANU
VL - 56(70)
SP - 1
EP - 6
LA - eng
KW - proof length; metamorphosis grammar; logic grammar; Horn predicate logic; difference lists
UR - http://eudml.org/doc/257954
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.