Warning: Invalid argument supplied for foreach() in C:\Fez\eth-design\view2.php on line 217

Warning: Invalid argument supplied for foreach() in C:\Fez\eth-design\include\class.record.php on line 245

Warning: array_reverse() [function.array-reverse]: The argument should be an array in C:\Fez\eth-design\include\class.record.php on line 261
ETH ETH E-Collection eth:40982 - Detail View - ETH E-Collection

Application error

We're sorry, but an application error occurred while processing your request. Possible reasons are:

  1. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:40982' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110
  2. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    r1.*
    FROM
    fez_record_search_key r1 inner join
    fez_record_search_key_ismemberof m1 on r1.rek_pid = m1.rek_ismemberof AND m1.rek_ismemberof_pid = 'eth:40982' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 145
  3. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    r1.*
    FROM
    fez_record_search_key r1 inner join
    fez_record_search_key_isderivationof m1 on r1.rek_pid = m1.rek_isderivationof AND m1.rek_isderivationof_pid = 'eth:40982' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 145
  4. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:40982' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110
  5. Array
    (
    [0] => DB Error: unknown error
    [1] => SELECT
    rek_title
    FROM
    fez_record_search_key
    WHERE
    rek_pid = 'eth:40982' [nativecode=145 ** Table '.\fez20\fez_record_search_key' is marked as crashed and should be repaired]
    )

    C:\Fez\eth-design\include\class.record.php 2110

If you think that there should be no error, please contact us.

Metadata Label Value
Author(s): Gitsels, Martin
Publisher: Unknown
Citation:

Gitsels, Martin. Mechanizing proofs of program properties. (1998). http://dx.doi.org/10.3929/ethz-a-001878269

Documents: Abstract (144.25KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Mechanizing proofs of program properties
Author(s) Gitsels, Martin
Publication Place Zürich
Publication Date 1998
Notes Diss. Techn. Wiss. ETH Zürich, Nr. 12057, 1998. Ref.: J. Gutknecht ; Korref.: B. Sanders
Language English
DOI http://dx.doi.org/10.3929/ethz-a-001878269
Subject(s) Computer Science, General
Software
Keyword(s) CORRECTNESS
AUTOMATED THEOREM PROVING
Description File Name MIME Type Size
Abstract   eth-40982-01.pdf application/pdf 144.25KB
Abstract Views and Downloads
Views 51  abstracts
Downloads 45  downloads

Abstract Views and Downloads by Country
Views 23  abstracts
Downloads 20  downloads
Germany Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
China Views 14  abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Madagascar Views abstracts
Downloads downloads


E-Collection record created: Wed, 18 Feb 2009, 16:25:02 CET