Moa Johansson (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Moa Johansson, Lucas Dixon, Alan Bundy: Conjecture Synthesis for Inductive Theories. J. Autom. Reasoning 47(3): 251-289 (2011)

3 Moa Johansson, Lucas Dixon, Alan Bundy: Case-Analysis for Rippling and Inductive Proof. ITP 2010: 291-306

2 Moa Johansson, Lucas Dixon, Alan Bundy: Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis 2010: 102-116

1 Moa Johansson, Alan Bundy, Lucas Dixon: Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems 2006: 83-100

Selection of 4 from 5 records - Moa Johansson has 3 coauthors

Last update 2012-02-16 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

4		Moa Johansson, Lucas Dixon, Alan Bundy: Conjecture Synthesis for Inductive Theories. J. Autom. Reasoning 47(3): 251-289 (2011)
3		Moa Johansson, Lucas Dixon, Alan Bundy: Case-Analysis for Rippling and Inductive Proof. ITP 2010: 291-306
2		Moa Johansson, Lucas Dixon, Alan Bundy: Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis 2010: 102-116
1		Moa Johansson, Alan Bundy, Lucas Dixon: Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems 2006: 83-100