Some general results about proof normalization (Q1931341): Difference between revisions

@@ Property / cites work @@
+Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
+Normal rank
@@ Property / cites work @@
+Test Selection Criteria for Quantifier-Free First-Order Specifications
+Normal rank
@@ Property / cites work @@
+Structures for abstract rewriting
@@ Property / cites work: Structures for abstract rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808705
@@ Property / cites work: Q4808705 / rank @@
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of the Beth definability theorem
+Normal rank
@@ Property / cites work @@
+Stratified institutions and elementary homomorphisms
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Term rewriting for normalization by evaluation.
@@ Property / cites work: Term rewriting for normalization by evaluation. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249227
@@ Property / cites work: Q4249227 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical systems for structured specifications.
@@ Property / cites work: Logical systems for structured specifications. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843910
@@ Property / cites work: Q2843910 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A note on simplification orderings
@@ Property / cites work: A note on simplification orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract canonical presentations
@@ Property / cites work: Abstract canonical presentations / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447217
@@ Property / cites work: Q4447217 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944850
@@ Property / cites work: Q4944850 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof normalization modulo
@@ Property / cites work: Proof normalization modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules
@@ Property / cites work: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Bi-rewrite systems
@@ Property / cites work: Bi-rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-Based Testing for CoCasl’s Modal Specifications
+Normal rank
@@ Property / cites work @@
+Integration Testing from Structured First-Order Specifications via Deduction Modulo
+Normal rank
@@ Property / cites work @@
+Proof-guided test selection from first-order specifications with equality
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273423
@@ Property / cites work: Q4273423 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and compactness in categories of pre-institutions
+Normal rank
@@ Property / cites work @@
+Q4250366
@@ Property / cites work: Q4250366 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Quasi-varieties in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Q2708321
@@ Property / cites work: Q2708321 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / cites work @@
+Logicality of conditional rewrite systems
@@ Property / cites work: Logicality of conditional rewrite systems / rank @@
+Normal rank