Abstraction and refinement in higher order logic
Fairtlough, M.; Mendler, Michael; Cheng, X. (2001): Abstraction and refinement in higher order logic, in: Richard J. Boulton, Paul B. Jackson, Richard J. Boulton, u. a. (Hrsg.), Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6,  2001 ; proceedings, Berlin u.a., S. 201–216.
Faculty/Chair:
Author:
 ;  ; 
Title of the compilation:
Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings
Editors:
Boulton, Richard J.
Jackson, Paul B.
Conference:
14th international conference, TPHOLs 2001, September 3 - 6, 2001 ; Edinburgh, Scotland, UK
Publisher Information:
Year of publication:
2001
Pages:
Series ; Volume:
Lecture notes in computer science ; 2152
Language:
English
Type:
Conferenceobject
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/9820