Logic

From Scholarpedia
Jump to: navigation, search

    Suggested (co)author(s):

    • Name: Dr. Andrey Voronkov
    • Email: andrey@voronkov.com, voronkov@cs.man.ac.uk
    • Affiliation: University of Manchester, UK
    • URL: http://voronkov.com
    • Comments: an long-time organizer of LPAR, http://dblp.uni-trier.de/db/indices/a-tree/v/Voronkov:Andrei.html
    • Suggested by: User:Mokhov



    • Name: Dr. Lawrence Paulson
    • Email: lp15@cam.ac.uk
    • Affiliation: cam.ac.uk
    • Comments: co-authored Isabelle, etc.
    • Suggested by: User:Mokhov

    • Name: Dr. Rene Lalement
    • Email:
    • Affiliation: Ecole Nationale des Ponts et Chaussees, Paris, France
    • Comments: Wrote "Computation as Logic", ISBN: 0-13-770009-1
    • Suggested by: User:Mokhov
    Personal tools
    Namespaces

    Variants
    Actions
    Navigation
    Focal areas
    Activity
    Tools