Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Automated Proof Compression by Invention of New Definitions

Clarke, E.
Voronkov, A.
Vyskocil, J.
Stanovsky, D.
Urban, J.

Publication date

January 2010

DOI

10.1007/978-3-642-17511-4_25

Publisher

Springer Science and Business Media LLC

ISSN

0302-9743

Citation count (estimate)

13

Abstract

Contains fulltext : 83345.pdf (publisher's version ) (Closed access

Extracted data

Related items

Automatically extending linguistically enriched data

Theijssen, D.L.
Oostdijk, N.H.J.
Halteren, H. van

January 2009

Contains fulltext : 79347.pdf (publisher's version ) (Closed access)22 januari 200

Journal of Automated Reasoning: Preface

Carette, J.
Wenzel, M.
Wiedijk, F.

January 2010

Contains fulltext : 83355.pdf (publisher's version ) (Closed access

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

Contains fulltext : 84360.pdf (publisher's version ) (Closed access

Automated Machine-Checked Hybrid System Safety Proofs

Kaufmann, M.
Paulson, L.
Geuvers, H.
Koprowski, A.
Synek, D.
Weegen, E.E. van der

January 2010

Contains fulltext : 83344.pdf ( ) (Closed access)Scientific publicatio

Proviola: A tool for proof re-animation

Tankink, C.
Geuvers, H.
McKinna, J.
Wiedijk, F.

January 2010

Contains fulltext : 84164.pdf (preprint version ) (Closed access) ...

Program Extraction from Large Proof Developments

Cruz-Filipe, L.
Spitters, B.A.W.

January 2003

Contains fulltext : 112648.pdf (preprint version ) (Closed access

Staveren, I.P. van

January 2009

Contains fulltext : 78375.pdf (publisher's version ) (Closed access

PROOFS 2018 Editorial

Batina, L.
Mentens, N.

January 2020

Contains fulltext : 225734.pdf (publisher's version ) (Closed access

The problem of unintelligibility

Hoop, H. de

January 2004

Contains fulltext : 214386.pdf (publisher's version ) (Closed access

Linear amplification for deep sequencing

Hoeijmakers, W.A.M.
Bartfai, R.C.
Francoijs, K.J.
Stunnenberg, H.G.

January 2011

Contains fulltext : 92007.pdf (publisher's version ) (Closed access

Quantization (systematic)

Landsman, N.P.

January 2009

Contains fulltext : 75968.pdf (publisher's version ) (Closed access

New horizons in document design. The quest for better documents

Renkema, J.
Hoeken, H.
Spooren, W.P.M.S.

January 1999

Contains fulltext : 82872.pdf (publisher's version ) (Closed access

Automatische borstkankerdetectie

Velikova, Marina

January 2010

Contains fulltext : 83341.pdf (publisher's version ) (Open Access

Framing with images

Faludi, A.K.F.

January 1996

Contains fulltext : 183557.pdf (publisher's version ) (Closed access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Automatically extending linguistically enriched data

Theijssen, D.L.
Oostdijk, N.H.J.
Halteren, H. van

January 2009

Contains fulltext : 79347.pdf (publisher's version ) (Closed access)22 januari 200

Journal of Automated Reasoning: Preface

Carette, J.
Wenzel, M.
Wiedijk, F.

January 2010

Contains fulltext : 83355.pdf (publisher's version ) (Closed access

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

Contains fulltext : 84360.pdf (publisher's version ) (Closed access

Automated Machine-Checked Hybrid System Safety Proofs

Kaufmann, M.
Paulson, L.
Geuvers, H.
Koprowski, A.
Synek, D.
Weegen, E.E. van der

January 2010

Contains fulltext : 83344.pdf ( ) (Closed access)Scientific publicatio

Proviola: A tool for proof re-animation

Tankink, C.
Geuvers, H.
McKinna, J.
Wiedijk, F.

January 2010

Contains fulltext : 84164.pdf (preprint version ) (Closed access) ...

Program Extraction from Large Proof Developments

Cruz-Filipe, L.
Spitters, B.A.W.

January 2003

Contains fulltext : 112648.pdf (preprint version ) (Closed access

Staveren, I.P. van

January 2009

Contains fulltext : 78375.pdf (publisher's version ) (Closed access

PROOFS 2018 Editorial

Batina, L.
Mentens, N.

January 2020

Contains fulltext : 225734.pdf (publisher's version ) (Closed access

The problem of unintelligibility

Hoop, H. de

January 2004

Contains fulltext : 214386.pdf (publisher's version ) (Closed access

Linear amplification for deep sequencing

Hoeijmakers, W.A.M.
Bartfai, R.C.
Francoijs, K.J.
Stunnenberg, H.G.

January 2011

Contains fulltext : 92007.pdf (publisher's version ) (Closed access

Quantization (systematic)

Landsman, N.P.

January 2009

Contains fulltext : 75968.pdf (publisher's version ) (Closed access

New horizons in document design. The quest for better documents

Renkema, J.
Hoeken, H.
Spooren, W.P.M.S.

January 1999

Contains fulltext : 82872.pdf (publisher's version ) (Closed access

Automatische borstkankerdetectie

Velikova, Marina

January 2010

Contains fulltext : 83341.pdf (publisher's version ) (Open Access

Framing with images

Faludi, A.K.F.

January 1996

Contains fulltext : 183557.pdf (publisher's version ) (Closed access

Tools for Test Case Generation

Belinfante, A.
Frantzen, L.
Schallhart, C.

January 2005

Contains fulltext : 33161.pdf (publisher's version ) (Closed access

Automatically extending linguistically enriched data

Theijssen, D.L.
Oostdijk, N.H.J.
Halteren, H. van

January 2009

Contains fulltext : 79347.pdf (publisher's version ) (Closed access)22 januari 200

Journal of Automated Reasoning: Preface

Carette, J.
Wenzel, M.
Wiedijk, F.

January 2010

Contains fulltext : 83355.pdf (publisher's version ) (Closed access

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

Contains fulltext : 84360.pdf (publisher's version ) (Closed access