scientific article; zbMATH DE number 7307076

zbMATH Open1505.03122MaRDI QIDQ5149136FDOQ5149136

Serena delli

Publication date: 6 February 2021

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

zbMATH Keywords

proof theorycombinatorial proofssyntax-free formalisms

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07)

Cited In (7)

• On the number of steps in proofs
• Title not available (Why is that?)
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
• On the existence of n but not n + 1 easy combinators
• Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination
• Tests and Proofs for Enumerative Combinatorics

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