| author | kleing |
| Mon, 19 Apr 2004 09:31:00 +0200 | |
| changeset 14626 | dfb8d2977263 |
| parent 12811 | 894da6aee971 |
| child 14706 | 71590b7733b7 |
| permissions | -rw-r--r-- |
|
12811
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
1 |
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
2 |
@Book{davenport92,
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
3 |
author = {H. Davenport},
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
4 |
title = {The Higher Arithmetic},
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
5 |
publisher = {Cambridge University Press},
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
6 |
year = 1992 |
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
7 |
} |
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
8 |
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
9 |
@InProceedings{paulin-tlca,
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
10 |
author = {Christine Paulin-Mohring},
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
11 |
title = {Inductive Definitions in the System {Coq}: Rules and
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
12 |
Properties}, |
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
13 |
crossref = {tlca93},
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
14 |
pages = {328-345}}
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
15 |
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
16 |
@Proceedings{tlca93,
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
17 |
title = {Typed Lambda Calculi and Applications},
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
18 |
booktitle = {Typed Lambda Calculi and Applications},
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
19 |
editor = {M. Bezem and J.F. Groote},
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
20 |
year = 1993, |
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
21 |
publisher = {Springer},
|
|
894da6aee971
moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff
changeset
|
22 |
series = {LNCS 664}}
|