Abstraction and refinement in higher order logic





Professorship/Faculty: Foundations of Computer Science  
Authors: Mendler, Michael
Responsibility: Fairtlough, M. ; Mendler, Michael ; Cheng, X.
Title of the compilation: Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 - 6, 2001 ; proceedings / Richard J. Boulton ; Paul B. Jackson ( ed.). - Berlin u.a., 2001. - (Lecture notes in computer science ; 2152). - S. 201 - 216
Year of publication: 2001
Language(s): German
Document Type: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/9820
Release Date: 24. September 2014