tibinc.shortnames

早期freebsd实现

D IP73 |IFIPa|\
%D 1973
D IP74  |IFIPa|\
%D 1974
D IP75  |IFIPa|\
%D 1975
D IP76  |IFIPa|\
%D 1976
D IP77  |IFIPa|\
%D 1977
D IP78  |IFIPa|\
%D 1978
D IP79  |IFIPa|\
%D 1979
D IP80  |IFIPa|\
%D 1980
D IP81  |IFIPa|\
%D 1981
D IP82  |IFIPa|\
%D 1982
D IP83  |IFIPa|\
%D 1983
D IP84  |IFIPa|\
%D 1984
D IP85  |IFIPa|\
%D 1985
D IP86  |IFIPa|\
%D 1986
D III5 |PROC| 5th III |CONF|\
%I IRISA\
%D |MAY| 1977
D JER3  |PROC| Third Jerusalem |CONF| on Inf. Tech.\
%D |AUG| 1978
D JICAI  Joint |INTL| |CONF| on AI
D JICAI5  |PROC| 5th |JICAI|\
%D |AUG| 1977
D JICAI6  |PROC| 6th |JICAI|\
%D |AUG| 1979
D JICAI7  |PROC| 7th |JICAI|\
%D |AUG| 1981
D JICAI8 |PROC| 8th |JICAI|\
%O (need data)
D JICAI9 |PROC| 9th |JICAI|\
%D |AUG| 1985
D LDRS77 |PROC| of an ACM |CONF| on |LANG| Design for Reliable |SOFT|\
%D |MAR| 1977
D LIPE85  |PROC| SIGPLAN SLIPE\
%V 20\
%N 7\
%D |JUL| 1985
D LISP80  |SYMP| on LISP and Functional |PRing|\
%D |AUG| 25-27 1980
D LISP82  |SYMP| on LISP and Functional |PRing|\
%D 1982
D LISP84  |SYMP| on LISP and Functional |PRing|\
%D |AUG| 1984
D LISP88  |SYMP| on LISP and Functional |PRing|\
%D |JUL| 1988
D LNCS16 ???\
%I |LNCS|\
%V 16\
%D 1974
D LNCS19 ???\
%I |LNCS|\
%V 19\
%D 1974
D LNCS66 |LNCS|\
%V 66\
%D 1978
D LNCS67 Theoretical Computer Science, 4th GI |CONF|, Berlin\
%I |LNCS|\
%V 67\
%D 1979
D LNCS69 |PROG| Construction: |INTL| Summer School\
%I |LNCS|\
%V 69\
%D 1979
D LNCS107 Formalization of |PRing| Concepts\
%I |LNCS|\
%V 107\
%D 1981\
%E J. Diaz\
%E I. Ramos
D LNCS124 |LNCS|\
%V 124\
%D 1981
D LNCS141 |LNCS|\
%V 141\
%D 1981
D LNCS162 ???\
%I |LNCS|\
%V 162\
%D ????
D LNCS189 |LNCS|\
%V 189\
%D 1985
D LNCS202 Rewriting Techniques and Applications\
%I |LNCS|\
%V 202\
%D 1985
D LNCS204 ???\
%I |LNCS|\
%V 204\
%D 1985
D LNCS208 ???\
%I |LNCS|\
%V 208\
%D 1985
D LNCS209 ???\
%I |LNCS|\
%V 209\
%D ????
D LNCS213 European Symposium on |PRing|\
%I |LNCS|\
%V 213\
%D 1986
D LNCS241 ???\
%I |LNCS|\
%V 241\
%D 1986
D LNCS249 TAPSOFT '87\
%I |LNCS|\
%V 249\
%D 1987
D LNCS250 ???\
%I |LNCS|\
%V 250\
%D ????
D MFOCS5  |PROC| 5th IBM |SYMP| on Mathematical Foundations of |CS|\
%D |MAY| 1980
D MMCS83  SIGMETRICS |CONF| on Meas. and Modeling of |COMP| |SYSs|\
%D |AUG| 1983
D SIGMETRICS83 |MMCS83|
D MMCS83  SIGMETRICS |CONF| on Meas. and Modeling of |COMP| |SYSs|\
%D |MAY| 1989
D SIGMETRICS89 |MMCS89|
D OIS82 |PROC| SIGOA |CONF| on Office Information |SYSs|\
%D |JUN| 1982
D OIS84 PROC Second ACM-SIGOA |CONF| on Office Information |SYSs|\
%D |JUN| 1984
D OIS86 PROC Third ACM-SIGOIS |CONF| on Office Information |SYSs|\
%D |OCT| 1986
D OOPS86 |OOPSLA86|
D OOPS87 |OOPSLA87|
D OOPSLA Object-Oriented |PRing| |SYSs|, |LANGs| and Applications |CONF| |PROC|
D OOPSLA86  OOPSLA\
%D |SEP| 1986
D OOPSLA87 |OOPSLA|\
%D |OCT| 1987
D OOPSLA89 |OOPSLA|\
%D |OCT| 1989
D OOPW86 Object-Oriented |PRing| Workshop, SIGPLAN\
%V 21\
%N 10\
%D |OCT| 1986
D PICCS  |PROC| |INTL| |COMP| |SYMP|\
%D |APR| 1977\
%C Liege, Belgium
D PIEEE  |PROC| IEEE
D PROCIRE  |PROC| IRE
D PLISS83  1983 |SYMP| on Prog. |LANG| Issues in |SOFT| |SYSs|, |SIGPLAN|\
%D |JUN| 1983\
%V 18\
%N 6
D POPL  ACM POPL
D POPL1   1st |POPL|\
%D |OCT| 1973
D POPL2   2nd |POPL|\
%D |JAN| 1975
D POPL3   3rd |POPL|\
%D |JAN| 1976
D POPL4   4th |POPL|\
%D |JAN| 1977
D POPL5   5th |POPL|\
%D |JAN| 1978
D POPL6   6th |POPL|\
%D |JAN| 1979
D POPL7   7th |POPL|\
%D |JAN| 1980
D POPL8   8th |POPL|\
%D |JAN| 1981
D POPL9   9th |POPL|\
%D |JAN| 1982
D POPL10   10th |POPL|\
%D |JAN| 1983
D POPL11   11th |POPL|\
%D |JAN| 1984
D POPL12   12th |POPL|\
%D |JAN| 1985
D POPL13   13th |POPL|\
%D |JAN| 1986
D POPL14   14th |POPL|\
%D |JAN| 1987
D POPL15   15th |POPL|\
%D |JAN| 1988
D POPL16  |CONF| Record of the Sixteenth |POPL|\
%D 1989
D POPL17  |CONF| Record of the Seventeenth |POPL|\
%D |JAN| 1990
D PPOP ACM SIGPLAN |SYMP| on Principles and Practice of Parallel |PRing|, |SIGPLAN|
D PPOP90 2nd |PPOP|\
%V 25\
%N 4\
%D |MAR| 1990
D PRINCETON5  |PROC| 5th Annual Princeton |CONF|\
%I Princeton |UNIV|\
%D |MAR| 1971
D PSDEa  |PROC| ACM SIGSOFT/SIGPLAN S/W Eng. |SYMP| on Pract. S/W Dev. Env.
D PSDE84  |PSDEa|\
%V 19\
%N 5\
%D |MAY| 1984
D PSDE86  |PSDEa|\
%D |DEC| 1986
D PSDE88 |SDE88|
D SDE88 |PROC| ACM SIGSOFT '88: Third |SYMP| on |SOFT| Development Environments\
%C Boston, MA\
%D |NOV| 1988
D SCM |INTL| Workshop on |SOFT| Configuration Management
D SCM2 |PROC| of the 2nd |SCM|\
%D |OCT| 1989
D SEEPIL Workshop on |SOFT| |ENG| Environments for |PRing|-in-the-Large\
%D |JUN| 1985
D SIGMOD |PROC| ACM SIGMOD |INTL| |CONF| on Management of Data
D SIGMOD84 |SIGMOD|\
%D |MAY| 1984
D SIGMOD86 |SIGMOD|\
%D  |MAY| 1986
D SIGMOD87 |SIGMOD|\
%D 1987
D SIGPLAN83 |PLISS83|
D SIGPLAN85 |LIPE85|
D SIGPLAN87 |IIT87|
D IIT87 |PROCSIGPLAN| 1987 |SYMP| on Interpreters and Interpretive Techniques\
%D |JUN| 1987\
%V 22\
%N 7
D SIGPLAN89 |PLDI89|
D SOSP  |SYMP| on Op. |SYS| Prin.
D SOSP1  1st |SOSP|\
%D 1967
D SOSP2  2nd |SOSP|\
%D |OCT| 1969
D SOSP3  3rd |SOSP|\
%D |OCT| 1971
D SOSP6  6th |SOSP|\
%D |NOV| 1977
D SOSP7  7th |SOSP|\
%D |DEC| 1979
D SOSP8  8th |SOSP|\
%D |DEC| 1981
D SOSP9  9th |SOSP|\
%D |OCT| 1983
D SOSP10  10th |SOSP|\
%D |DEC| 1985
D STOC  Annual ACM |SYMP| on Theory of |COMPg|
D SYMPAM  |PROC| of |SYMP| in Applied Mathematics
D TAV |SYMP| on |SOFT| Testing, Analysis, and Verification
D TAV3 |PROC| of the Third |TAV|\
%D |DEC| 1989
D TEXT81  SIGPLAN/SIGOA |SYMP| on Text Manipulation\
%D |JUN| 1981
D VL IEEE Workshop on Visual |LANGs|
D VL86 |PROC| |VL|\
%D |JUN| 1986
D VL87 |PROC| |VL|\
%D 1987
D VL88 |PROC| |VL|\
%D |OCT| 1988
D WJCC  Western JCC
D ABLEX Ablex Publishing\
%C Norwood, NJ
D ACADEMIC  |ACPRESS|
D ACPRESS  Academic Press
D ADDISON  Addison Wesley
D ANSI  American National Standards Institute
D CSPRESS  |CS| Press
D DIGITAL  Digital Press
D ELSEVIER  American Elsevier
D ERLBAUM  Lawrence Erlbaum Ass.
D FREEMAN  W. H. Freeman and Company
D GPO  U. S. Government Printing Office
D HOLT  Holt, Rinehart, and Winston
D IEEEP  IEEE Press
D LNCS  |SPRINGER|\
%S LNCS
D MCGRAW  |MGHILL|
D MGHILL  McGraw-Hill
D MITP  MIT Press
D NHOLL  North-Holland
D NYC  New York, NY
D PRENTICE  |PRHALL|
D PRHALL  Prentice Hall
D SPRINGER  Springer Verlag
D SRA  |SCI| Research Associates
D UMI  UMI Press
D WILEY  John Wiley |AMP| Sons
D WINTH  Winthrop Publishers
D JAN  Jan.
D FEB  Feb.
D MAR  Mar.
D APR  Apr.
D MAY  May
D JUN  June
D JUL  July
D AUG  Aug.
D SEP  Sept.
D OCT  Oct.
D NOV  Nov.
D DEC  Dec.
D BTLHO  Bell Labs.\
%C Holmdel, NJ
D BTLMH  Bell Labs.\
%C Murray Hill, NJ
D CMU  CMU
D CMUCS  |CSD|, |CMU|
D COURANT  Courant Inst., NYU
D CSLI Center for the Study of |LANG| and Information\
%C Stanford, CA
D CSLSU  |COMP| |SYSs| Lab., Stanford Elect. Lab., |DEPT| of |EE| and |CS|
D DECSRC  DEC, |SYSs| Res. Ctr
D DG  Data General
D ERL  Elect. Res. Lab.
D ETH  ETH
D IBMRD IBM |CORP|, Research Division\
%C Yorktown Heights, NY
D IBMY  |IBMRD|
D ICASE  Institute for |COMP| Applications in |SCI| and |ENG|
D ICOT  Institute for New Generation |COMP| Technology
D IFI   Institut |fuer| Informatik
D INRIA  Institut National de Recherche en Informatique et en Automatique
D Karlsruhe Karlsr|u_um|he
D Universitat Universit|a_um|t
D KARLSRUHE  |IFI|\
%C |Universitat| |Karlsruhe|
D KESTRAL  Kestral Inst.
D LFCS  Laboratory for Foundations of |CS|
D MCCSTP |SOFT| Technology |PROG|, MCC\
%C Austin, TX
D MITAI  MIT AI Lab.
D MITLCS  MIT Lab. for |CS|
D RICE  Rice |UNIV|
D RICECS |DCS|, Rice |UNIV|
D SUCS  |CSD|, |STAN|
D SUCSL |CSLSU|
D STAN Stanford |UNIV|
D SUEE  |DEPT| of |EE|, |STAN|
D MIT MIT
D Munich M|u_um|nchen
D TUM  Technische |Universitat|, |Munich|
D UATR  |UNIV| of Arizona |TR|
D UC |UNIVCA|
D UCB  UCB
D UCBCS  |CS| Div., EECS, |UCB|
D UCBCSD |UCBCS|
D UCBCSTR |UCBCSDTR|
D UCBCSDTR |UCBCSD|\
%R |TR| UCB/CSD
D UCBERL  |ERL|, EECS, |UCB|
D UCLA UCLA
D UCSD  |UNIVCA|, San Diego
D UNIVIUC  |UNIV| of Illinois at Urbana-Champaign
D UW |UNIV| of Wash.
D XEROXISL Intelligent |SYSs| Laboratory, |XEROXPARC|
D XEROXPARC Xerox Palo Alto Research Center\
%C Palo Alto, CA