Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

Reference no #926   Type :   Html | Bib | Both

Created: 2007-12-12 11:31:19

926 Reinhard Muskens. Program Semantics and Classical Logic. Technical report, CLAUS-Report 86, Universität des Saarlandes, Saarbrücken, January 1997. [Abstract]     google [Annote]

Last modified: Thu October 16 2014 19:11:34