scientific article; zbMATH DE number 809162

zbMATH Open0830.03012MaRDI QIDQ4852912FDOQ4852912

Authors: Marica D. Presic 

Publication date: 30 November 1995

Full work available at URL: https://eudml.org/doc/118764

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

Title of this publication is not available (Why is that?)

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

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)

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)