[an error occurred while processing this directive] [an error occurred while processing this directive] class="menubutton">WWW/FTP Sites
DEC-Alpha processor family.
  • A specification of the notion of dynamic objects using ASMs.
  • A presentation of EDL, an extended dynamic logic suitable for reasoning about ASMs.
  • A presentation of FLEA, a multi-modal language for ASMs, and its relationship to modal logics.

    18 December 1997

    9 October 1997

    18 September 1997

    25 August 1997

    7 August 1997

    17 July 1997

    4 June 1997

    31 May 1997

    29 May 1997

    28 May 1997

    26 May 1997

    19 May 1997

    15 May 1997

    13 May 1997

    12 May 1997

    8 May 1997

    4 March 1997

    27 February 1997

    25 February 1997

    22 February 1997

    7 February 1997

    6 February 1997

    18 January 1997

    What's New for 1996

    What's New for 1995 [an error occurred while processing this directive]