System Description: The Proof Transformation System CERES (Q5747781): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Resolution in type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof Transformation by CERES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logic for Programming, Artificial Intelligence, and Reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CERES: An analysis of Fürstenberg's proof of the infinity of primes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cut-elimination and redundancy-elimination by resolution / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Towards a clausal analysis of cut-elimination / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Herbrand Sequent Extraction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Clausal Approach to Proof Analysis in Second-Order Logic / rank | |||
Normal rank |
Latest revision as of 05:42, 3 July 2024
scientific article; zbMATH DE number 5785467
Language | Label | Description | Also known as |
---|---|---|---|
English | System Description: The Proof Transformation System CERES |
scientific article; zbMATH DE number 5785467 |
Statements
System Description: The Proof Transformation System CERES (English)
0 references
14 September 2010
0 references