abbrevs.bib

% vim: set sw=2 : 
%
% Quelques abreviations (journaux, editeurs, conf, LNCS, ...) bien pratiques
% pour remplir une base de donnees BibTeX.
%
% Lignée: Urbain, Jouannaud, Strub, Kirchner
%
% Liste des abbrevs deja definies dans LaTeX:
%
% acmcs,acta,cacm,ibmjrd,ibmsj,ieeese,ieeetc,ieeetcad,ipl,jacm,jcss,scp,sicomp,
% tocs,tods,tog,toms,toois,toplas,tcs
%		Cf. $TEXINPUTS/abbrv.bst
%

%
% CONFERENCES, devrait etre remplacees par des crossrefs
%

@string{alp90 = "Proc. 2nd Int. Conf. on Algebraic and Logic
		 Programming, LNCS 463"}

@string{alp92 = "Proc. 3rd Int. Conf. on Algebraic and Logic
		 Programming, LNCS 632"}

@string{alp94 = "Proc. 4th Int. Conf. on Algebraic and Logic
                 Programming, LNCS 850"}
@string{alp96 = "Proc. 5th Int. Conf. on Algebraic and Logic
                 Programming, LNCS 1139"}

@string{alpplilp98 = "Proc. Joint Int. Symp. on Programming 
       Languages,Implementations, Logics and Programs (PLILP) and 
       Algebraic and Logic Programming (ALP) conferences"} 

@string{wad79 = "Proc. 4th Workshop on Automated Deduction"} 
@string{cade80 = "Proc. 5th Conf. on Automated Deduction"}  
@string{cade84 = "Proc. 7th Int. Conf. on Automated Deduction"} 
@string{cade86 = "Proc. 8th Int. Conf. on Automated Deduction"}
@string{cade90 = "Proc. 10th Int. Conf. on Automated Deduction"} 
@string{cade92 = "Proc. 11th Int. Conf. on Automated Deduction"}
@string{cade97 = "Proc. 14th Int. Conf. on Automated Deduction"}
@string{cade05 = "Proc. 20th Int. Conf. on Automated Deduction"}

@string{ccl94 = "Proc. 1st Int. Conf. on Constraint in Computational
		  Logics, LNCS 845"}

@string{csl93 = "Proc. 2nd Conf. Computer Science Logic"}
@string{csl95 = "Proc. 4th Conf. Computer Science Logic"}
@string{csl06 = "Proc. 15th Conf. for Computer Science Logic"}

@string{ctrs90 = "Proc. 2nd Int. Workshop on Conditional and Typed
		 Rewriting Systems, Montreal, LNCS 516"}
@string{ctrs91 = "Proc. Conditional and Typed Rewriting Systems, LNCS 516"}
@string{ctrs93 = "Proc. Conditional Term Rewriting Systems, LNCS 656"}
@string{ctrs92 = "Proc. 3rd Int. Workshop on Conditional Term
		 Rewriting Systems, Pont-{\`a}-Mousson, LNCS 656"}


@string{disco90 = "Proc. Int. Symposium on Design and Implementation
		 of Symbolic Computation Systems, LNCS 429"}

@string{holta92 = "Proc. 5th Int. Workshop on Higher Order Logic Theorem Proving and its Applications"}
@string{holta93 = "Proc. 6th Int. Workshop on Higher Order Logic Theorem Proving and its Applications"}
@string{holta95 = "Proc. 8th Int. Workshop on Higher Order Logic Theorem Proving and its Applications"}

@string{icalp77 = "Proc. 4th Int. Coll. on Automata, Languages and
		 Programming, Turku, Finland"}
@string{icalp78 = "Proc. 5th Int. Coll. on Automata, Languages and
		 Programming, LNCS 62"}
@string{icalp82 = "Proc. 9th Int. Coll. on Automata, Languages and
		 Programming, LNCS 140"}
@string{icalp83= "Proc. 10th Int. Coll. on Automata, Languages and
		 Programming, LNCS 154"}
@string{icalp85 = "Proc. 12th Int. Coll. on Automata, Languages and
		 Programming, Nafplion, LNCS 194"}
@string{icalp87 = "Proc. 14th Int. Coll. on Automata, Languages and
		 Programming, LNCS 372"}
@string{icalp88 = "Proc. 15th Int. Coll. on Automata, Languages and
		 Programming, LNCS 317"}
@string{icalp89 = "Proc. 16th Int. Coll. on Automata, Languages and
		 Programming, LNCS 372"}
@string{icalp90 = "Proc. 17th Int. Coll. on Automata, Languages and
		 Programming, Warwick, LNCS 443"}
@string{icalp91 = "Proc. 18th Int. Coll. on Automata, Languages and
		 Programming, Madrid, LNCS 510"}
@string{icalp92 = "Proc. 19th Int. Coll. on Automata, Languages and
		 Programming, LNCS 623"}
@string{icalp93 = "Proc. 20th Int. Coll. on Automata, Languages and
		 Programming, LNCS 700"}
@string{icalp94 = "Proc. 21th Int. Coll. on Automata, Languages and
                 Programming, LNCS 820"}
@string{icalp98 = "Proc. 24th Int. Coll. on Automata, Languages and
                 Programming, LNCS 1443"}
@string{icalp99 = "Proc. 25th Int. Coll. on Automata, Languages and
                 Programming, To appear"}

@string{icfp1 = "Proc. 1st {ACM} Sigplan Int. Conf. on Functional Programming"}
@string{icfp5 = "Proc. 5th {ACM} Sigplan Int. Conf. on Functional Programming"}

@string{ijcar06 = "Proc. 3rd Int. Joint Conf. on Automated Reasoning"}

@string{symsac71 = "Proc. of the 2nd Symp. on Symbolic and Algebraic
		 Computation"} 
@string{symsac86 = "Proc. of the 17th Symp. on Symbolic and Algebraic
		 Computation"} 
@string{issac88 = "Proc. of the 19th Int. Symp. on Symbolic and
		 Algebraic Computation"} 
@string{issac89 = "Proc. of the 20th Int. Symp. on Symbolic and
		 Algebraic Computation, Portland, Oregon"} 

@string{lfp = "Proc. ACM Conf. Lisp and Functional Programming"}
@string{lfp84 = "Proc. 84 ACM Conf. Lisp and Functional Programming,
		 Austin, Texas"}
@string{lfp86 = "Proc. 86 ACM Conf. Lisp and Functional Programming,
		 Cambridge, Mass."}

@string{lics1 = "Proc. 1st IEEE Symp. Logic in Computer Science, Cambridge,
		 Mass."}
@string{lics2 = "Proc. 2nd IEEE Symp. Logic in Computer Science, Ithaca, NY"}
@string{lics3 = "Proc. 3rd IEEE Symp. Logic in Computer Science, Edinburgh"}
@string{lics4 = "Proc. 4th IEEE Symp. Logic in Computer Science"}
@string{lics5 = "Proc. 5th IEEE Symp. Logic in Computer Science, Philadelphia"}
@string{lics6 = "Proc. 6th IEEE Symp. Logic in Computer Science, Amsterdam"}
@string{lics7 = "Proc. 7th IEEE Symp. Logic in Computer Science, Santa Cruz"}

@string{lics90 = "Proc. 5th IEEE Symp. Logic in Computer Science,
		  Philadelphia"}
@string{lics92 = "Proc. 7th IEEE Symp. Logic in Computer Science,
		  Santa Cruz"}
@string{lics93 = "Proc. 8th IEEE Symp. Logic in Computer Science, Montr{\'e}al"}
@string{lics94 = "Proc. 9th IEEE Symp. Logic in Computer Science"}
@string{lics2010 = "Proc. 25th IEEE Symp. Logic in Computer Science, Edinburgh"}

@string{lpar00 = "Proc. 7th Int. Conf. on Logic for Programming and Automated Reasoning"}

@string{mfcs15 = "Proc. 15th Mathematical Foundations of Computer
		 Science, Bansk{\`a} Bystrica"} 
@string{mfcs16 = "Proc. 16th Mathematical Foundations of Computer
		 Science, Warsaw, LNCS 520"} 
@string{mfcs92 = "Proc. 17th Mathematical Foundations of Computer
		 Science, Praha, LNCS"}
@string{mfcs93 = "Proc. 18th Mathematical Foundations of Computer
                 Science"}

@string{mfcs98 = "Proc. 23rd Mathematical Foundations of Computer Science"}

@string{popl = "Proc. ACM Symp. on Principles of Programming Languages"}
@string{popl3 = "Proc. 3rd ACM Symp. on Principles of Programming
		 Languages"}
@string{popl5 = "Proc. 5th ACM Symp. on Principles of Programming
		 Languages"}
@string{popl6 = "Proc. 6th ACM Symp. on Principles of Programming
		 Languages"}
@string{popl7 = "Proc. 7th ACM Symp. on Principles of Programming
		 Languages"}
@string{popl9 = "Proc. 9th ACM Symp. on Principles of Programming
		 Languages"}
@string{popl10 = "Proc. 10th ACM Symp. on Principles of Programming
		 Languages"}
@string{popl11 = "Proc. 11th ACM Symp. on Principles of Programming
		 Languages"}
@string{popl12 = "Proc. 12th ACM Symp. on Principles of Programming
		 Languages"}
@string{popl13 = "Proc. 13th ACM Symp. on Principles of Programming
		 Languages"}
@string{popl14 = "Proc. 14th ACM Symp. on Principles of Programming
		 Languages"}
@string{popl15 = "Proc. 15th ACM Symp. on Principles of Programming
		 Languages"}
@string{popl18 = "Proc. 18th ACM Symp. on Principles of Programming
		 Languages"}
@string{popl25 = "Proc. 25th ACM Symp. on Principles of Programming
		 Languages"}

@string{rta85 = "Proc. 1st Int. Conf. on Rewriting Techniques and Applications"} 
@string{rta87 = "Proc. 2nd Int. Conf. on Rewriting Techniques and Applications"} 
@string{rta89 = "Proc. 3rd Int. Conf. on Rewriting Techniques and Applications"} 
@string{rta91 = "Proc. 4th Int. Conf. on Rewriting Techniques and Applications"} 
@string{rta93 = "Proc. 5th Int. Conf. on Rewriting Techniques and Applications"} 
@string{rta95 = "Proc. 6th Int. Conf. on Rewriting Techniques and Applications"} 
@string{rta96 = "Proc. 7th Int. Conf. on Rewriting Techniques and Applications"}
@string{rta01 = "Proc. 12th Int. Conf. on Rewriting Techniques and Applications"}
@string{rta05 = "Proc. 16th Int. Conf. on Rewriting Techniques and Applications"}

@string{sefm06 = "Proc. 4th {IEEE} Int. Conf. on Software Engineering and Formal Methods"}

@string{stacs93 = "Proc. 10th Symposium on Theoretical Aspects of
		 Computer Science, W{\"u}rzburg, LNCS"}

@string{symsac = "Proc. ACM Symp. Symbolic and Algebraic Computation"}

@string{ssl93 = "Proc. Int. Workshop on Semantics of Specification Languages, Utrecht, October 1993"}

@string{tlca1 = "Proc. 1st Int. Conf. on Typed Lambda Calculi and Applications"}
@string{tlca4 = "Proc. 4th Int. Conf. on Typed Lambda Calculi and Applications"}
@string{tlca5 = "Proc. 5th Int. Conf. on Typed Lambda Calculi and Applications"}

@string{tphol96 = "Proc. 9th Int. Conf. on Theorem Proving in Higher Order Logics"}
@string{tphol99 = "Proc. 12th Int. Conf. on Theorem Proving in Higher Order Logics"}
@string{tphol00 = "Proc. 13th Int. Conf. on Theorem Proving in Higher Order Logics"}
@string{tphol01 = "Proc. 14th Int. Conf. on Theorem Proving in Higher Order Logics"}
@string{tphol04 = "Proc. 17th Int. Conf. on Theorem Proving in Higher Order Logics"}
@string{tphol05 = "Proc. 18th Int. Conf. on Theorem Proving in Higher Order Logics"}

@string{types98 = "Proc. 1998 Int. Workshop on Proofs and Programs"}
@string{types02 = "Proc. 2002 Int. Workshop on Proofs and Programs"}
@string{types03 = "Proc. 2003 Int. Workshop on Proofs and Programs"}
@string{types06 = "Proc. 2006 Int. Workshop on Proofs and Programs"}

@string{wrla96 = "Proc. 1st Int. Workshop on Rewriting Logic and its Applications"}

%
% JOURNALS 
%

@string{aaecc = "Applicable Algebra in Engineering Communication and
		 Computing"} 
@string{acmsn = "ACM sig{\-}plan notices"}
@string{ai = "Artificial Intelligence"} 
@string{amm = "American Mathematical Monthly"}
@string{dmtcs = "Discrete Mathematics and Theoretical Computer Science"}
@string{beatcs = "EATCS Bulletin"}
@string{icont = "Information and Control"}
@string{icomp = "Information and Computation"}
@string{ieeetcom = "IEEE Trans. Communications"}
@string{ieice = "IEICE"}
@string{ijcis = "International Journal of Computer and Information
		 Sciences"} 
@string{ijfcs = "International Journal of Foundations of Computer
		 Science"} 
@string{ijpp = "International Journal on Parallel Programming"} 
@string{ipl = "Information Processing Letters"}
@string{jar = "Journal of Automated Reasoning"}
@string{jfp = "Journal of Functional Programming"}
@string{jflp = "Journal of Functional and Logic Programming"}
@string{jlp = "Journal of Logic Programming"}
@string{jmcm = "Journal of {M}athematical and Computer Modelling"}
@string{jpaa = "Journal of Pure and Applied Algebra"}
@string{jsc = "Journal of Symbolic Computation"}
@string{jsl = "Journal of Symbolic Logic"}
@string{jlc = "Journal of Logic and Computation"}
@string{lp = "Lisp Pointers"}
@string{mst = "Math. Systems Theory"}
@string{mscs = "Math. Structures in Computer Science"}
@string{rairo = "R.A.I.R.O."}
@string{ria = "Revue Fran{\c{c}}aise d'Intelligence Artificielle"} 
@string{sa = "Scientific American"}
@string{sicomp = "SIAM Journal on Computing"}
@string{signot = "SIGPLAN Notices"}
@string{scp = "Science of Computer Programming"}
@string{spe = "Software - Practice and Experience"}
@string{sttt = "International Journal on Software Tools for Technology Transfer"}
@string{tsi = "Technique et Science Informatiques"}

%
% PUBLISHERS
%

@string{ACMP = "ACM Press"}
@string{AMS = "American Mathematical Society"}
@string{ANSI = "American National Standards Institute"}
@string{AP = "Academic Press"}
@string{AW = "Addison-Wesley"}
@string{AWI = "Almqvist \& Wiksell"}
@string{BIRK = "Birkh{\"a}user"}
@string{CH = "Chapman \& Hall"}
@string{CUP = "Cambridge Univ. Press"}
@string{DP = "Dover Publications"}
@string{DUN = "Dunod"}
@string{EH = "Ellis Horwood"}
@string{EUP = "Edinburgh Univ. Press"}
% @string{ES = "Elsevier Science"}
@string{ES = "Elsevier"}
@string{IEEECSP = "{IEEE} Comp. Soc. Press"}
@string{INRIA = "INRIA"}
@string{MAS = "Masson"}
@string{MGH = "McGraw-Hill"}
@string{MIT = "MIT Press"}
@string{NASA = "NASA"}
@string{NH = "North-Holland"}
@string{PP = "Pergamon Press"}
@string{PH = "Prentice Hall"}
@string{PU = "Princeton Univ. Press"}
@string{SV = "{Sprin\-ger}"}
@string{R = "Reidel"}
@string{UCP = "Univ. of California Press"}

%
% SERIES
%

@string{entcs = "Electronic Notes in Theoretical Computer Science"}
@string{foc = "Foundations of Computing"}
@string{lnai = "Lecture Notes in Artificial Intelligence"}
% @string{lncs = "Lecture Notes in Computer Science"}
% @string{lncs = "LNCS"}

%
% MISCELLANEOUS
%

@string{RR = "Research Report"}
@string{FRR = "Rapport de {R}echerche"}
@string{TR = "Tech. Report"}
@string{theseinpg = "Th{\`e}se de Doctorat, Institut National
		 Polytechnique de Grenoble, France"} 
@string{theselri = "Th{\`e}se de Doctorat, Universit{\'e} de
		 Paris-Sud, France"} 
@string{thesenancy = "Th{\`e}se de Doctorat, Universit{\'e} de Nancy
		 I, France"}  
@string{u-lille = "Universit{\'e} des Sciences et Techniques de Lille
		 Flandres Artois"} 
@string{inpg = "Institut National Polytechnique de Grenoble"}
@string{lri = "Laboratoire de Recherche en Informatique"}
@string{liens = "Laboratoire d'Informatique de l'\'Ecole Normale Sup\'erieure"}
@string{labri = "LAboratoire Bordelais de Recherche en Informatique"}
@string{lifo = "Laboratoire d'Informatique Fondamentale d'Orl{\'e}ans"}
@string{addresslri = "Univ. Paris-Sud, France"}
@string{crin = {Centre de Recherche en Informatique de Nancy}}
@string{mpi = "Max-Planck-Institut f{\"u}r Informatik"}
@string{cwi = {Centrum voor Wiskunde en Informatica}}



@string{greco = "Greco de Programmation"}
@string{inria = "Institut National de Recherche en Informatique et en
		  Automatique, Unit{\'e} Rocquencourt"}
@string{ups = "Universit\'e Paris-Sud"}
@string{orsay = "Orsay, France"}
@string{ups-orsay = "Universit\'e Paris-Sud, Orsay, France"}

@string{thesedoctorat = "Th{\`e}se de Doctorat"}

@string{lip = "Laboratoire de l'Informatique du Parallelisme"}
@string{enslyon = "Ecole Normale Supérieure de Lyon"}
@string{univcaen = "Université de Caen"}
@string{ensparis = "Ecole Normale Supérieure de Paris"}
@string{univparis7 = "Université Paris 7"}
@string{univnancy1 = "Université Henri Poincaré Nancy 1"}
@string{univdenisdiderot = "Université Denis Diderot"}
@string{univparisnord = "Université Paris-Nord"}


@string{theseh = "Thèse d'habilitation"}
@string{phd = "phd thesis"}

%
% LNCS, devrait etre remplaces par des crossrefs
%

@string{lncs59 = "Proc. Proc. Eight Colloquium on Trees in Algebra and
		 Programming, LNCS 59"}
@string{lncs78 = "Edinburgh LCF, LNCS 78"}
@string{lncs86 = "Proc. Winter School on Abstract Software
		 Specifications, Copenhagen, LNCS 86"} 
@string{lncs99 = "Algebraic Semantics, LNCS 99"}
@string{lncs104 = "Proc. 5th GI Conf., LNCS 104"}
@string{lncs107 = "Int. Coll. Formalization of Programming Concepts,
		 LNCS 107"} 
@string{lncs131 = "Proc. IBM Workshop on Logics of Programs, LNCS
		 131"} 
@string{lncs137 = "Proc. 5th Int. Symp. on Programming, Turin, LNCS
		 137"} 
@string{lncs144 = "Proc. EUROCAM 82, Marseille, LNCS 144"} 
@string{lncs145 = "Proc. 6th GI Conf."}
@string{lncs159 = "Proc. 8th. Coll. on Trees and Algebra in
		 Programming, LNCS 159"} 
@string{lncs164 = "Proc. Logics of Programming Workshop"} 
@string{lncs173 = "Semantics of Data Types, Sophia-Antipolis, LNCS
		 173"} 
@string{lncs174 = "Proc. EUROSAM 84, Cambridge, LNCS 174"}
@string{lncs185 = "Proc. CAAP 85, LNCS 185"}
@string{lncs197 = "Seminar on Concurrency, CMU-Pittsburgh, LNCS 197"} 
@string{lncs201 = "Functional Programming Languages and Computer
		 Architecture, Nancy, LNCS 201"} 
@string{lncs202 =
 "Proc. Rewriting Techniques and Applications 85, Dijon, LNCS 202"}
@string{lncs203 = "Proc. EUROCAL 85, Linz, LNCS 203"}
@string{lncs204 = "Proc. EUROCAL 85, Linz, LNCS 204"}
@string{lncs210 = "Proc. STACS 86, Orsay, LNCS 210"}
@string{lncs213 = "Proc. ESOP 86, Saarbr{\"u}cken, LNCS 213"}
@string{lncs214 = "Proc. CAAP 86, Nice, LNCS 214"}
@string{lncs217 = "Programs as Data Objects, Copenhagen, LNCS 217"}
@string{lncs226 = "Proc. 13th ICALP, Rennes, LNCS 226"}
@string{lncs230 = "Proc. 8th Conf. on Automated Deduction, Oxford, LNCS 230"}
@string{lncs232 = "Fundamentals of Artificial Intelligence, LNCS 232"}
@string{lncs233 = "Proc. Math. Found. Computer Science, Bratislava, LNCS 233"}
@string{lncs241 = "Proc. 6th Conf. on Foundations of Software
		 Technology and Theoretical Computer Science, New
		 Delhi, LNCS 241"} 
@string{lncs249 = "Proc. CAAP 87, Pisa, LNCS 249"}
@string{lncs250 = "Proc. CFLP, Pisa, LNCS 250"}
@string{lncs255 = "Petri Nets: Applications and Relationships to Other
		 Models of Concurrency, Bad Honnef, LNCS 255"}
@string{lncs258 = "Proc. PARLE 87, vol. I: Parallel Architectures,
		 Eindhoven, LNCS 258"} 
@string{lncs259 = "Proc. PARLE 87, vol. II: Parallel Languages,
		 Eindhoven, LNCS 259"} 
@string{lncs272 = "Future Parallel Computers, an advanced course,
		 Pisa, LNCS 272"} 
@string{lncs283 = "Proc. Category Theory and Computer Science, LNCS
		 283"} 
@string{lncs287 = "Proc. 7th Conf. Found. of Software Technology and
		 Theoretical Computer Science, Pune, INDIA, LNCS 287"} 
@string{lncs294 = "Proc. STACS 88, Bordeaux, LNCS 294"}
@string{lncs298 = "Proc. 3rd Workshop on Mathematical Foundations of
		 Programming Language Semantics, LNCS 298"}
@string{lncs299 = "Proc. CAAP 88, Nancy, LNCS 299"}
@string{lncs300 = "Proc. ESOP 88, Nancy, LNCS 300"}
@string{lncs306 = "Proc. Workshop on Found. of Logic and Functional
		 Programming, Trento, LNCS 306"}
@string{lncs308 = "Proc. 1st Int. Workshop on Conditional Term
		 Rewriting Systems, Orsay, LNCS 308"}
@string{lncs332 = "Recent Trends in Data Type Specifications, S.
		 Sanella and A. Tarleki eds., LNCS 332"} 
@string{lncs343 = "Proc. 1st Workshop on Algebraic and Logic
		 Programming, Gaussig, LNCS 343"} 
@string{lncs349 = "Proc. STACS 89, Paderborn, LNCS 349"}
@string{lncs351 = "Proc. TAPSOFT 89 (Vol. 1), Barcelona, LNCS 351"}
@string{lncs352 = "Proc. TAPSOFT 89 (Vol. 2), Barcelona, LNCS 352"}
@string{lncs354 = "Linear Time, Branching Time and Partial Order in
		 Logics and Models for Concurrency, Noordwijkerhout,
		 LNCS 354"} 
@string{lncs380 = "Proc. FCT'89, LNCS 380"}
@string{lncs415 = "Proc. STACS 90, Rouen, LNCS 415"}
@string{lncs431 = "Proc. CAAP 90, Copenhague, LNCS 431"}
@string{lncs432 = "Proc. ESOP 90, Copenhague, LNCS 432"}
@string{lncs452 = "Proc. MFCS 90, Bansk{\`{a}} Bystrica, LNCS 452"}
@string{lncs456 = "Proc. PLILP'90, LNCS 456"}
@string{lncs463 = "Proc. Conf. on Algebraic and Logic Programming,
		 Nancy, LNCS 463"} 
@string{lncs480 = "Proc. 8th Symp. on Theoretical Aspects of Computer
		 Science, Hamburg, LNCS 480"}
@string{lncs493 = "Proc. TAPSOFT'91---CAAP, LNCS 493"}

@string{lncs535 = "Fundamentals of Artificial Intelligence, P. Jorrand
		 Editor, LNCS 535"} 
@string{lncs582 = "Proc. European Symp. on Programming, LNCS 582"}