Pages that link to "Item:Q4742764"

The following pages link to Upper Bounds for Proof‐Search in a Sequent Calculus for Relational Equations (Q4742764):

Displaying 8 items.

• Survival ensembles by the sum of pairwise differences with application to lung cancer microarray studies (Q641157) (← links)
• Applying competing risks regression models: an overview (Q746407) (← links)
• A sequent calculus for relation algebras (Q786804) (← links)
• Analysis of an experiment aimed at improving the reliability of transmission centre shafts (Q1906161) (← links)
• Statistical analysis of zero-inflated nonnegative continuous data: a review (Q2325635) (← links)
• A nonparametric test for diagnosis of the proportionality assumption (Q2457777) (← links)
• An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
• A Completeness Result for Relation Algebra with Binders (Q4916210) (← links)