src/HOL/IMP/document/root.bib
author nipkow
Sun, 05 Jan 2014 18:59:29 +0100
changeset 54930 f2ec28292479
parent 12430 bfbd4d8faad7
child 61225 1a690dce8cfc
permissions -rw-r--r--
minimized class dependency, updated references
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
12430
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
     1
@string{LNCS="Lect.\ Notes in Comp.\ Sci."}
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
     2
@string{MIT="MIT Press"}
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
     3
@string{Springer="Springer-Verlag"}
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
     4
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
     5
@book{Nielson,author={Hanne Riis Nielson and Flemming Nielson},
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
     6
title={Semantics with Applications},publisher={Wiley},year=1992}
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
     7
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
     8
@book{Winskel,author={Glynn Winskel},
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
     9
title={The Formal Semantics of Programming Languages},publisher=MIT,year=1993}
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
    10
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
    11
@inproceedings{Nipkow,author={Tobias Nipkow},
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
    12
title={Winskel is (almost) Right: Towards a Mechanized Semantics Textbook},
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
    13
booktitle=
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
    14
{Foundations of Software Technology and Theoretical Computer Science},
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
    15
editor={V. Chandru and V. Vinay},
bfbd4d8faad7 latex output setup
kleing
parents:
diff changeset
    16
publisher=Springer,series=LNCS,volume=1180,year=1996,pages={180--192}}
54930
f2ec28292479 minimized class dependency, updated references
nipkow
parents: 12430
diff changeset
    17
f2ec28292479 minimized class dependency, updated references
nipkow
parents: 12430
diff changeset
    18
@book{ConcreteSemantics,author={Tobias Nipkow and Gerwin Klein},
f2ec28292479 minimized class dependency, updated references
nipkow
parents: 12430
diff changeset
    19
title={Concrete Semantics. A Proof Assistant Approach},publisher=Springer,
f2ec28292479 minimized class dependency, updated references
nipkow
parents: 12430
diff changeset
    20
note={To appear}}