Format:
Table of Contents: “... in Recursive Proofs -- 1 Introduction -- 2 Preliminaries -- 3 Synthesis of Recursive Relational Invariants -- 3...”
Click to View

Format:
Table of Contents: “....6 Nonparametric Curve Estimation -- 2.7 ROC Curves -- 2.8 Recursive Partitioning -- References -- 3 Testing Joint...”
Click to View

Format:
Table of Contents: “... Contingency -- 9.3 Perturbed Recursions and Incursions -- 9.4 Transversal and Longitudinal Propagation...”
Click to View

Format:
Table of Contents: “... Conclusion -- References -- Logical Foundations -- Tableau-based Decision Procedure for Non-Fregean Logic...”
Click to View

Format:
Table of Contents: “....1 Specifications -- 2.2 The Basics of Deductive Synthesis -- 2.3 Synthesis with Recursion and Auxiliary Functions...”
Click to View

Format:
Table of Contents: “... Preliminaries -- 2.1 (Extended) Resolution Proofs -- 2.2 Binary Decision Diagrams -- 3 Proof Generation During...”
Click to View

Format:
Table of Contents: “... Multiplier λ -- 4.4 Dynamic Programming -- 4.4.1 Dynamic Programming Networks and Recursive Equations -- 4...”
Click to View

Format:
Table of Contents: “... and Future Work -- Acknowledgments -- References -- Neural Network-Guided Synthesis of Recursive List...”
Click to View

Format:
Table of Contents: “... from Subdivisions -- 3.2 Precondition Optimization -- 4 Precondition Inference by Decision Tree...”
Click to View