Moa Johansson

Available identifiers

zbMath Open johansson.moaMaRDI QIDQ287274

List of research outcomes

Publication	Date of Publication	Type
Into the Infinite - Theory Exploration for Coinduction	2023-06-30	Paper
Proving type class laws for Haskell	2022-07-01	Paper
Conjectures, Tests and Proofs: An Overview of Theory Exploration	2021-09-06	Paper
Lemma discovery for induction. A survey	2020-01-22	Paper
Automated theory exploration for interactive theorem proving: an introduction to the Hipster system	2018-01-04	Paper
Quick specifications for the busy programmer	2017-10-23	Paper
Interpolation systems for ground proofs in automated deduction: a survey	2016-05-26	Paper
TIP: Tons of Inductive Problems	2015-11-20	Paper
On interpolation in automated theorem proving	2015-07-02	Paper
Hipster: Integrating Theory Exploration in a Proof Assistant	2014-08-07	Paper
Proof-Pattern Recognition and Lemma Discovery in ACL2	2014-01-17	Paper
Automating Inductive Proofs Using Theory Exploration	2013-06-14	Paper
Conjecture synthesis for inductive theories	2012-07-31	Paper
On Interpolation in Decision Procedures	2011-07-01	Paper
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery	2010-11-22	Paper
Case-Analysis for Rippling and Inductive Proof	2010-09-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Moa Johansson