1982
[APT82] Bengt Aspvall, Michael F. Plass et Robert Endre Tarjan. Erratum (A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas). Information Processing Letters 14(4):195. Elsevier, juin 1982. 
@article{ipl14(4)-APT,
  author =              {Aspvall, Bengt and Plass, Michael F. and Tarjan,
                         Robert Endre},
  title =               {Erratum (A Linear-Time Algorithm for Testing the
                         Truth of Certain Quantified Boolean Formulas)},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {14},
  number =              {4},
  pages =               {195},
  year =                {1982},
  month =               jun,
}
[CE82] Edmund M. Clarke et E. Allen Emerson. Design and Synthesis of Synchronization Skeletons using Branching-Time Temporal Logic. In LOP'81, Lecture Notes in Computer Science 131, pages 52-71. Springer-Verlag, 1982. 
@inproceedings{lop1981-CE,
  author =              {Clarke, Edmund M. and Emerson, E. Allen},
  title =               {Design and Synthesis of Synchronization Skeletons
                         using Branching-Time Temporal Logic},
  editor =              {Kozen, Dexter C.},
  booktitle =           {{P}roceedings of the 3rd {W}orkshop on {L}ogics of
                         {P}rograms ({LOP}'81)},
  acronym =             {{LOP}'81},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {131},
  pages =               {52-71},
  year =                {1982},
  confyear =            {1981},
  confmonth =           {5},
  doi =                 {10.1007/BFb0025774},
}
[EC82] E. Allen Emerson et Edmund M. Clarke. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. Science of Computer Programming 2(3):241-266. North-Holland, décembre 1982. 
@article{scp2(3)-EC,
  author =              {Emerson, E. Allen and Clarke, Edmund M.},
  title =               {Using Branching Time Temporal Logic to Synthesize
                         Synchronization Skeletons},
  publisher =           {North-Holland},
  journal =             {Science of Computer Programming},
  volume =              {2},
  number =              {3},
  pages =               {241-266},
  year =                {1982},
  month =               dec,
}
[Fra82] Peter Frankl. An Extremal Problem for two Families of Sets. European Journal of Combinatorics 3(2):125-127. Elsevier, juin 1982. 
@article{ejc3(2)-Fra,
  author =              {Frankl, Peter},
  title =               {An~Extremal Problem for two Families of Sets},
  publisher =           {Elsevier},
  journal =             {European Journal of Combinatorics},
  volume =              {3},
  number =              {2},
  pages =               {125-127},
  year =                {1982},
  month =               jun,
  doi =                 {10.1016/S0195-6698(82)80025-5},
}
[GH82] Yuri Gurevich et Leo Harrington. Trees, automata and games. In STOC'82, pages 60-65. ACM Press, mai 1982. 
@inproceedings{stoc1982-GH,
  author =              {Gurevich, Yuri and Harrington, Leo},
  title =               {Trees, automata and games},
  booktitle =           {{P}roceedings of the 14th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'82)},
  acronym =             {{STOC}'82},
  publisher =           {ACM Press},
  pages =               {60-65},
  year =                {1982},
  month =               may,
}
[HKP82] David Harel, Dexter C. Kozen et Rohit Parikh. Process Logic: Expressiveness, Decidability and Completeness. Journal of Computer and System Sciences 25(2):144-170. Academic Press, octobre 1982. 
@article{jcss25(2)-HKP,
  author =              {Harel, David and Kozen, Dexter C. and Parikh, Rohit},
  title =               {Process Logic: Expressiveness, Decidability and
                         Completeness},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {25},
  number =              {2},
  pages =               {144-170},
  year =                {1982},
  month =               oct,
}
[Huy82] Thiet-Dung Huynh. The Complexity of Semilinear Sets. Elektronische Informationsverarbeitung und Kybernetik 18(6):291-338. Juin 1982. 
@article{eik18(6)-Huy,
  author =              {Huynh, Thiet-Dung},
  title =               {The Complexity of Semilinear Sets},
  journal =             {Elektronische Informationsverarbeitung und
                         Kybernetik},
  volume =              {18},
  number =              {6},
  pages =               {291-338},
  year =                {1982},
  month =               jun,
}
[PY82] Christos H. Papadimitriou et Mihalis Yannakakis. The Complexity of Facets (and Some Facets of Complexity). In STOC'82, pages 255-260. ACM Press, mai 1982. 
@inproceedings{stoc1982-PY,
  author =              {Papadimitriou, {\relax Ch}ristos H. and Yannakakis,
                         Mihalis},
  title =               {The Complexity of Facets (and Some Facets of
                         Complexity)},
  booktitle =           {{P}roceedings of the 14th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'82)},
  acronym =             {{STOC}'82},
  publisher =           {ACM Press},
  pages =               {255-260},
  year =                {1982},
  month =               may,
}
[QS82] Jean-Pierre Queille et Joseph Sifakis. Specification and verification of concurrent systems in CESAR. In SOP'82, Lecture Notes in Computer Science 137, pages 337-351. Springer-Verlag, avril 1982. 
@inproceedings{sop1982-QS,
  author =              {Queille, Jean-Pierre and Sifakis, Joseph},
  title =               {Specification and verification of concurrent systems
                         in {CESAR}},
  editor =              {Dezani{-}Ciancaglini, Mariangiola and Montanari,
                         Ugo},
  booktitle =           {{P}roceedings of the 5th {I}nternational {S}ymposium
                         on {P}rogramming ({SOP}'82)},
  acronym =             {{SOP}'82},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {137},
  pages =               {337-351},
  year =                {1982},
  month =               apr,
  doi =                 {10.1007/3-540-11494-7_22},
}
[QS82] Jean-Pierre Queille et Joseph Sifakis. A Temporal Logic to Deal with Fairness in Transition Systems. In FOCS'82, pages 217-225. IEEE Comp. Soc. Press, novembre 1982. 
@inproceedings{focs1982-QS,
  author =              {Queille, Jean-Pierre and Sifakis, Joseph},
  title =               {A~Temporal Logic to Deal with Fairness in Transition
                         Systems},
  booktitle =           {{P}roceedings of the 23rd {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'82)},
  acronym =             {{FOCS}'82},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {217-225},
  year =                {1982},
  month =               nov,
}
[SS82] James A. Storer et Thomas G. Szymanski. Data Compression via Textual Substitution. Journal of the ACM 29(4):928-951. ACM Press, octobre 1982. 
@article{jacm29(4)-SS,
  author =              {Storer, James A. and Szymanski, Thomas G.},
  title =               {Data Compression via Textual Substitution},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {29},
  number =              {4},
  pages =               {928-951},
  year =                {1982},
  month =               oct,
}
[Var82] Moshe Y. Vardi. The Complexity of Relational Query Languages. In STOC'82, pages 137-146. ACM Press, mai 1982. 
@inproceedings{stoc1982-Var,
  author =              {Vardi, Moshe Y.},
  title =               {The Complexity of Relational Query Languages},
  booktitle =           {{P}roceedings of the 14th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'82)},
  acronym =             {{STOC}'82},
  publisher =           {ACM Press},
  pages =               {137-146},
  year =                {1982},
  month =               may,
}
Liste des auteurs