src/HOL/IMP/document/root.bib
author krauss
Fri Nov 24 13:44:51 2006 +0100 (2006-11-24)
changeset 21512 3786eb1b69d6
parent 12430 bfbd4d8faad7
child 54930 f2ec28292479
permissions -rw-r--r--
Lemma "fundef_default_value" uses predicate instead of set.
kleing@12430
     1
@string{LNCS="Lect.\ Notes in Comp.\ Sci."}
kleing@12430
     2
@string{MIT="MIT Press"}
kleing@12430
     3
@string{Springer="Springer-Verlag"}
kleing@12430
     4
kleing@12430
     5
@book{Nielson,author={Hanne Riis Nielson and Flemming Nielson},
kleing@12430
     6
title={Semantics with Applications},publisher={Wiley},year=1992}
kleing@12430
     7
kleing@12430
     8
@book{Winskel,author={Glynn Winskel},
kleing@12430
     9
title={The Formal Semantics of Programming Languages},publisher=MIT,year=1993}
kleing@12430
    10
kleing@12430
    11
@inproceedings{Nipkow,author={Tobias Nipkow},
kleing@12430
    12
title={Winskel is (almost) Right: Towards a Mechanized Semantics Textbook},
kleing@12430
    13
booktitle=
kleing@12430
    14
{Foundations of Software Technology and Theoretical Computer Science},
kleing@12430
    15
editor={V. Chandru and V. Vinay},
kleing@12430
    16
publisher=Springer,series=LNCS,volume=1180,year=1996,pages={180--192}}