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

Proviola: A tool for proof re-animation

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

Publication date

January 2010

Publisher

Berlin : Springer

Abstract

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

Extracted data

Related items

Proof Tool Support for Explicit Strictness

Eekelen, M.C.J.D. van
Mol, Maarten de

January 2006

Contains fulltext : 35481.pdf (preprint version ) (Open Access

Pragmatics and processing

Geurts, B.
Rubio-Fernández, P.

January 2015

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

A Me6Age for pluripotency

Stunnenberg, H.G.
Vermeulen, M.
Atlasi, Y.

January 2015

Contains fulltext : 149246.pdf (Publisher’s version ) (Closed access

Playing ArchiMate Models

Groenewegen, J.
Hoppenbrouwers, S.J.B.A.
Proper, E.

January 2010

Contains fulltext : 84174.pdf (preprint 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

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

Narrating Formal Proof (Work in Progress)

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

January 2012

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

Automated Proof Compression by Invention of New Definitions

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

January 2010

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

Proof Assistants: history, ideas and future

Geuvers, J.H.

January 2009

Contains fulltext : 75958.pdf (preprint version ) (Open Access

Program Extraction from Large Proof Developments

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

January 2003

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

The Anatomy of the ArchiMate Language

Lankhorst, M.
Proper, E.
Jonkers, H.

January 2010

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

Bitsliced Masking and ARM: Friends or Foes?

Groot, W. de
Papagiannopoulos, K.
Piedra, A. de la
Schneider, E.
Batina, L.

January 2017

Contains fulltext : 173237.pdf (preprint version ) (Open Access) ...

Proof-checking Euclid

Beeson, Michael
Narboux, Julien
Wiedijk, Freek

January 2019

Contains fulltext : 201509.pdf (preprint version ) (Open Access) ...

Bogaers, Julianus Egidius Alphonsus Theresia

January 1965

Contains fulltext : 26465___.PDF (publisher's version ) (Open Access

Provable anonymity

Garcia, F. D.
Hasuo, I.
Pieters, W.
Rossum, P.J.B. van

January 2005

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

Proof Tool Support for Explicit Strictness

Eekelen, M.C.J.D. van
Mol, Maarten de

January 2006

Contains fulltext : 35481.pdf (preprint version ) (Open Access

Pragmatics and processing

Geurts, B.
Rubio-Fernández, P.

January 2015

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

A Me6Age for pluripotency

Stunnenberg, H.G.
Vermeulen, M.
Atlasi, Y.

January 2015

Contains fulltext : 149246.pdf (Publisher’s version ) (Closed access

Playing ArchiMate Models

Groenewegen, J.
Hoppenbrouwers, S.J.B.A.
Proper, E.

January 2010

Contains fulltext : 84174.pdf (preprint 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

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

Narrating Formal Proof (Work in Progress)

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

January 2012

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

Automated Proof Compression by Invention of New Definitions

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

January 2010

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

Proof Assistants: history, ideas and future

Geuvers, J.H.

January 2009

Contains fulltext : 75958.pdf (preprint version ) (Open Access

Program Extraction from Large Proof Developments

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

January 2003

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

The Anatomy of the ArchiMate Language

Lankhorst, M.
Proper, E.
Jonkers, H.

January 2010

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

Bitsliced Masking and ARM: Friends or Foes?

Groot, W. de
Papagiannopoulos, K.
Piedra, A. de la
Schneider, E.
Batina, L.

January 2017

Contains fulltext : 173237.pdf (preprint version ) (Open Access) ...

Proof-checking Euclid

Beeson, Michael
Narboux, Julien
Wiedijk, Freek

January 2019

Contains fulltext : 201509.pdf (preprint version ) (Open Access) ...

Bogaers, Julianus Egidius Alphonsus Theresia

January 1965

Contains fulltext : 26465___.PDF (publisher's version ) (Open Access

Provable anonymity

Garcia, F. D.
Hasuo, I.
Pieters, W.
Rossum, P.J.B. van

January 2005

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

Proof Tool Support for Explicit Strictness

Eekelen, M.C.J.D. van
Mol, Maarten de

January 2006

Contains fulltext : 35481.pdf (preprint version ) (Open Access

Pragmatics and processing

Geurts, B.
Rubio-Fernández, P.

January 2015

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

A Me6Age for pluripotency

Stunnenberg, H.G.
Vermeulen, M.
Atlasi, Y.

January 2015

Contains fulltext : 149246.pdf (Publisher’s version ) (Closed access