scientific article; zbMATH DE number 809162

MaRDI QIDQ4852912zbMATH OpenFDO

Authors Marica D. Presic

Publication date 30 November 1995

Full work available at URL https://eudml.org/doc/118764, http://www.emis.de/journals/PIMB/070/1.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

proof lengthdifference listslogic grammarHorn predicate logicmetamorphosis grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) Complexity of proofs (03F20) Natural language processing (68T50)

Recommendations

• scientific article; zbMATH DE number 177436
• Applying tree languages in proof theory
• scientific article; zbMATH DE number 4202248
• A generalized approach to metaprogramming in logic grammars
• scientific article; zbMATH DE number 42778

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4852912)