Samson Abramsky

Pays :Grande-Bretagne
Langue :anglais
Note :
Informaticien. - Professeur à Imperial college of science, technology and medicine, London, GB (en 1992)
ISNI :ISNI 0000 0001 1081 8672

Ses activités

Éditeur scientifique8 documents

  • Automata, Languages and Programming

    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

    Description matérielle : 1 online resource
    Édition : Berlin, Heidelberg : Springer Berlin Heidelberg : Springer e-books , 2010
    Éditeur scientifique : Paul G. Spirakis

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb44700151d]
  • Automata, Languages and Programming

    37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

    Description matérielle : 1 online resource
    Édition : Berlin, Heidelberg : Springer Berlin Heidelberg : Springer e-books , 2010
    Éditeur scientifique : Paul G. Spirakis

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb447001502]
  • Handbook of logic in computer science Vol. 3

    Semantic structures

    Description matérielle : 1 vol. (XIII-490 p.)
    Description : Note : Notes bibliogr.
    Édition : Oxford : Clarendon press , 1994
    Éditeur scientifique : Dov M. Gabbay, Thomas S. E. Maibaum

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb375008937]
  • Handbook of logic in computer science Vol. 1

    Background. - Mathematical structures

    Description matérielle : 1 vol. (XII-827 p.)
    Description : Note : Notes bibliogr.
    Édition : Oxford : Clarendon press , 1992
    Éditeur scientifique : Dov M. Gabbay, Thomas S. E. Maibaum

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37435267p]
  • Handbook of logic in computer science Vol. 5

    Logic and algebraic methods

    Description matérielle : 1 vol. (XVIII-537 p.)
    Description : Note : Notes bibliogr.
    Édition : Oxford : Clarendon press , 2000
    Éditeur scientifique : Dov M. Gabbay, Thomas S. E. Maibaum

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37571843c]

Autre1 document

  • Typed lambda calculi and applications

    5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001, proceedings

    Description matérielle : 1 online resource (xi, 429 pages)
    Description : Note : Includes bibliographical references and index
    Édition : Berlin ; New York : Springer , 2001

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb44690703w]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Handbook of logic in computer science / ed. by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum, 1992
  • BLNA, 1993-12 : Abramsky, Samson, 1953-
    LCNA (CD OCLC), 1994-06

Pages équivalentes