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 II

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

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb447001502]
  • 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][http://catalogue.bnf.fr/ark:/12148/cb44700151d]
  • 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][http://catalogue.bnf.fr/ark:/12148/cb375008937]
  • Handbook of logic in computer science

    Édition : Oxford : Clarendon press , 1992-
    Éditeur scientifique : Dov M. Gabbay, Thomas S. E. Maibaum

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37333317r]
  • Handbook of logic in computer science Vol. 4

    Semantic modelling

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

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37500894k]

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][http://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