D
[DH00] Giovanna D'Agostino et Marco Hollenberg. Logical Questions Concerning the μ-Calculus: Interpolation, Lyndon and łoś-Tarski. Journal of Symbolic Logic 65(1):310-332. Association for Symbolic Logic, mars 2000.
@article{jsl65(1)-DH,
  author =              {D{'}Agostino, Giovanna and Hollenberg, Marco},
  title =               {Logical Questions Concerning the
                         {{\(\mu\)}}-Calculus: Interpolation, Lyndon and
                         {\L}o{\'s}-Tarski},
  publisher =           {Association for Symbolic Logic},
  journal =             {Journal of Symbolic Logic},
  volume =              {65},
  number =              {1},
  pages =               {310-332},
  year =                {2000},
  month =               mar,
  doi =                 {10.2307/2586539},
}
Liste des auteurs