Herbrand Sequent Extraction (Q5505525): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 00:50, 29 June 2024

scientific article; zbMATH DE number 5498248

Language	Label	Description	Also known as
English	Herbrand Sequent Extraction	scientific article; zbMATH DE number 5498248

Statements

scholarly article

0 references

Herbrand Sequent Extraction (English)

0 references

0 references

Alexander Leitsch

0 references

0 references

Bruno Woltzenlogel Paleo

0 references

Lecture Notes in Computer Science

0 references

publication date

27 January 2009

0 references

full work available at URL

http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-18086

0 references

MaRDI profile type

MaRDI publication profile

0 references

CERES: An analysis of Fürstenberg's proof of the infinity of primes

0 references

Logic for Programming, Artificial Intelligence, and Reasoning

0 references

Proof Transformation by CERES

0 references

0 references

Cut normal forms and proof complexity

0 references

Cut-elimination and redundancy-elimination by resolution

0 references

0 references

Extracting Herbrand disjunctions by functional interpretation

0 references

Proof Transformations and Structural Invariance

0 references

Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken

0 references

Lower Bounds on Herbrand's Theorem

0 references

0 references

Herbrand Sequent Extraction

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-540-85110-3_38

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5505525

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5505525&oldid=35090268"