4 |
4 |
5 %publishers |
5 %publishers |
6 @string{AP="Academic Press"} |
6 @string{AP="Academic Press"} |
7 @string{CUP="Cambridge University Press"} |
7 @string{CUP="Cambridge University Press"} |
8 @string{IEEE="{\sc ieee} Computer Society Press"} |
8 @string{IEEE="{\sc ieee} Computer Society Press"} |
9 @string{LNCS="Lect.\ Notes in Comp.\ Sci."} |
9 @string{LNCS="Lecture Notes in Computer Science"} |
10 @string{MIT="MIT Press"} |
10 @string{MIT="MIT Press"} |
11 @string{NH="North-Holland"} |
11 @string{NH="North-Holland"} |
12 @string{Prentice="Prentice-Hall"} |
12 @string{Prentice="Prentice-Hall"} |
13 @string{PH="Prentice-Hall"} |
13 @string{PH="Prentice-Hall"} |
14 @string{Springer="Springer-Verlag"} |
14 @string{Springer="Springer-Verlag"} |
15 |
15 |
16 %institutions |
16 %institutions |
17 @string{CUCL="Comp. Lab., Univ. Camb."} |
17 @string{CUCL="Computer Laboratory, University of Cambridge"} |
18 @string{Edinburgh="Dept. Comp. Sci., Univ. Edinburgh"} |
18 @string{Edinburgh="Department of Computer Science, University of Edinburgh"} |
19 |
19 |
20 %journals |
20 %journals |
21 @string{AI="Artificial Intelligence"} |
21 @string{AI="Artificial Intelligence"} |
22 @string{FAC="Formal Aspects Comput."} |
22 @string{FAC="Formal Aspects of Computing"} |
23 @string{JAR="J. Auto. Reas."} |
23 @string{JAR="Journal of Automated Reasoning"} |
24 @string{JCS="J. Comput. Secur."} |
24 @string{JCS="Journal of Computer Security"} |
25 @string{JFP="J. Func. Prog."} |
25 @string{JFP="Journal of Functional Programming"} |
26 @string{JLC="J. Logic and Comput."} |
26 @string{JLC="Journal of Logic and Computation"} |
27 @string{JLP="J. Logic Prog."} |
27 @string{JLP="Journal of Logic Programming"} |
28 @string{JSC="J. Symb. Comput."} |
28 @string{JSC="Journal of Symbolic Computation"} |
29 @string{JSL="J. Symb. Logic"} |
29 @string{JSL="Journal of Symbolic Logic"} |
30 @string{SIGPLAN="{SIGPLAN} Notices"} |
30 @string{SIGPLAN="{SIGPLAN} Notices"} |
31 |
31 |
32 %conferences |
32 %conferences |
33 @string{CADE="International Conference on Automated Deduction"} |
33 @string{CADE="International Conference on Automated Deduction"} |
34 @string{POPL="Symposium on Principles of Programming Languages"} |
34 @string{POPL="Symposium on Principles of Programming Languages"} |