Advertisement

Uniformity and Efficiency

  • George Metcalfe
  • Nicola Olivetti
  • Dov Gabbay
Part of the Applied Logic Series book series (APLS, volume 36)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  • George Metcalfe
    • 1
  • Nicola Olivetti
    • 2
  • Dov Gabbay
    • 3
  1. 1.Department of MathematicsVanderbilt UniversityNasvilleUSA
  2. 2.Université Aix-Marseille III LSIS-UMR CNRS 6168Avenue Escadrille Normandie-NiemenFrance
  3. 3.Department of Computer ScienceKing’s CollegeLondonUK

Personalised recommendations