The following pages link to Mahadevan Subramaniam (Q1856144):
Displaying 11 items.
- Using an induction prover for verifying arithmetic circuits (Q1856145) (← links)
- The transient combinator, higher-order strategies, and the distributed data problem (Q1887674) (← links)
- New uses of linear arithmetic in automated theorem proving by induction (Q1915133) (← links)
- (Q2723430) (← links)
- (Q3021913) (← links)
- Analyzing the Impact of Protocol Changes on Tests (Q3434658) (← links)
- Predicting Failures of and Repairing Inductive Proof Attempts (Q3564031) (← links)
- (Q4470525) (← links)
- Lemma discovery in automating induction (Q4647546) (← links)
- Automated reasoning about parallel algorithms using powerlists (Q5096401) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896944) (← links)
