[A2] ================================================ AMAST Links 01 01 This sample issue was edited by Giuseppe Scollo, Michael Johnson and Edmund Kazmierczak, thanks to contributions by: PARCON'94 [M1], Sandeep Bhatt [M2], Sorin C. Istrail [M3], Moshe Vardi [M4], V. S. Alagar [C1], Barry Jay [C2], Richard Gerber [C3], Jamie Ford [C4], Ming Li [C5], Ulrich Faigle [C6], Jose D. P. Rolim [C7], Marta Kwiatkowska [J1], Uffe Engberg [J2], Edmund Clarke [J3], Steve Mahaney [J4], COLIBRI 40-1994 [J5], Larry Paulson [T1], Fausto Giunchiglia [T2], Maurice Nivat [V1]. This issue of AMAST Links is available in four forms: * a collection of hypertext files, available on the WWW by opening the URL: http://www.cs.utwente.nl/data/amast/links/v01/i01/AL0101-ToC.html for the ToC-page, where links give direct access to individual pages; * a single hypertext file, available on the WWW by opening the URL: http://www.cs.utwente.nl/data/amast/links/v01/i01/AL0101.html * a collection of plain-text files, one per page, each separately available + (see below) * a single plain-text file available by e-mail as well as + within the AMAST directory of the Twente WWW server, in directory at URL: http://www.cs.utwente.nl/data/amast/links/v01/i01/AL0101.txt where `' is either `-ToC' (for the ToC-page), or the 2-character page identifier (for one-page files), or empty (whole-issue file). Note: This issue will also be available, in all of its four forms, by anonymous ftp from the AMAST repository at the University of Twente. The file names will be the same as above, but the directory will be at URL: ftp://ftp.cs.utwente.nl/pub/doc/amast/links/v01/i01/ [full/] [end] =============================================== AMAST Links 01 01