Options
Abstraction and refinement in higher order logic
Fairtlough, M.; Mendler, Michael; Cheng, X. (2001): „Abstraction and refinement in higher order logic“. Berlin u.a.
Faculty/Professorship:
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:
Lecture notes in computer science ; 2152
Language:
English
Type:
Conferenceobject
published:
September 24, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/9820