Record: found
Abstract: not found
Book Chapter: not found

Case-Analysis for Rippling and Inductive Proof

other

Author(s): Moa Johansson , Lucas Dixon , Alan Bundy

Publication date (Print): 2010

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 18

Record: found
Abstract: not found
Book: not found

Isabelle/HOL

Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)

0 comments Cited 199 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Isabelle

Lawrence Paulson (1994)

0 comments Cited 66 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

The Zipper

Gérard Huet (1997)

0 comments Cited 28 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 291-306

DOI: 10.1007/978-3-642-14052-5_21

SO-VID: f0038134-64c8-4d2c-abc2-6091526014b2

History

Data availability:

Case-Analysis for Rippling and Inductive Proof

Read this book at

Related collections

Core Readings in Statistical Mediation Analysis

Most cited references 18

Isabelle/HOL

Isabelle

The Zipper

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,324

Cited by 7