Superdeduction at Work

DOI10.1007/978-3-540-73147-4_7zbMATH Open1186.03021OpenAlexW1505048629MaRDI QIDQ3608815FDOQ3608815

Paul Brauner, Claude Kirchner, Clément Houtmann

Publication date: 6 March 2009

Published in: Rewriting, Computation and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73147-4_7

Recommendations

• Reduction principle at work
• Superbosonization
• scientific article; zbMATH DE number 1064665
• On superreducts
• The collapse of supertasks
• scientific article; zbMATH DE number 1735154
• Super-derivations
• scientific article
• scientific article; zbMATH DE number 7644031

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Cited In (7)

• Axiom Directed Focusing
• Physics and proof theory
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• The collapse of supertasks
• Title not available (Why is that?)
• Inductive proof search modulo
• On the convergence of reduction-based and model-based methods in proof theory

This page was built for publication: Superdeduction at Work

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