scientific article

zbMATH Open1087.03034MaRDI QIDQ3367301

Hans-Jörg Tiede

Publication date: 24 January 2006

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

zbMATH Keywords

generative capacity of proof-theoretical grammarsnatural deduction proof treesnon-associative Lambek grammars

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Structure of proofs (03F07)

Related Items (1)

Inductive theorem proving based on tree grammars

Recommendations

• Inductive theorem proving based on tree grammars 👍 👎
• Applying Tree Languages in Proof Theory 👍 👎
• Automated natural deduction prover and experiments 👍 👎
• Some applications of Gentzen's proof theory in automated deduction 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q3367301)