Directory: Logic and Foundations - Computational Logic

You are here: adaxas > Science & Engineering > Mathematics > Logic and Foundations > Computational Logic

Listed sites in Computational Logic

  1. Lambda Calculus
    Lambda Calculus - two simple interpreters for the Lambda Calculus one strict, one lazy, with example programs that can be run via the web.
    url: http://www.csse.monash.edu.au/~lloyd/... size: 17113 - last check: - status: 200
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  2. Yarrow Home Page

    The webmaster of this site did not set a description tag!

    url: http://www.cs.ru.nl/~janz/yarrow/ size: 4704 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  3. 20th WCP: Dual Identity Combinators

    The webmaster of this site did not set a description tag!

    url: http://www.bu.edu/wcp/Papers/Logi/Log... size: 49016 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  4. John's Combinatory Logic Playground

    The webmaster of this site did not set a description tag!

    url: http://www.cwi.nl/~tromp/cl/cl.html size: 5170 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  5. Proof General David Aspinall
    Proof General is an Emacs based generic interface for theorem provers
    url: http://zermelo.dcs.ed.ac.uk/~proofgen/ size: 9879 - last check: - status: 200
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  6. The Practice of Logical Frameworks - Pfenning (ResearchIndex)
    Introduction Deductive systems, given via axioms and rules of inference, are a common conceptual tool in mathematical logic and computer science. They are used to specify many varieties of logics and logical theories as well as aspects of programming lang
    url: http://citeseer.ist.psu.edu/pfenning9... size: 48994 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  7. PRL Automated Reasoning Project at Cornell

    The webmaster of this site did not set a description tag!

    url: http://www.cs.cornell.edu/Info/Projec... size: 12529 - last check: - status: 200
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  8. MetaPRL Proof Assistant and Logical Programming Environment

    The webmaster of this site did not set a description tag!

    url: http://cvs.metaprl.org:12000/metaprl/ size: 680 - last check: - status: 200
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  9. www.cs.ucsd.edu/groups/tatami/kumo/

    The webmaster of this site did not set a description tag!

    url: http://www.cs.ucsd.edu/groups/tatami/... size: 6255 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  10. The LEGO Proof Assistant

    The webmaster of this site did not set a description tag!

    url: http://www.dcs.ed.ac.uk/home/lego/ size: 2702 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  11. HOL 4 Kananaskis 4

    The webmaster of this site did not set a description tag!

    url: http://hol.sourceforge.net/ size: 6575 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  12. Language: en Isabelle Tobias Nipkow, Lawrence Paulson, Markus Wenzel, Ge

    The webmaster of this site did not set a description tag!

    url: http://isabelle.informatik.tu-muenche... size: 6275 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  13. Automated Reasoning (Stanford Encyclopedia of Philosophy)

    The webmaster of this site did not set a description tag!

    url: http://plato.stanford.edu/entries/rea... size: 131982 - last check: - status: 200
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  14. The PhoX Proof Assistant

    The webmaster of this site did not set a description tag!

    url: http://www.lama.univ-savoie.fr/sitela... size: 9574 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  15. The Proof Editor Alfa

    The webmaster of this site did not set a description tag!

    url: http://www.cs.chalmers.se/~hallgren/A... size: 5849 - last check: - status: 200
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


  16. Logic [CiteSeer; NEC Research Institute; Steve Lawrence, Kurt Bollacker, Lee Giles]

    The webmaster of this site did not set a description tag!

    url: http://citeseer.ist.psu.edu/Theory/Lo... size: 133546 - last check: - status: 206
    adaxas rank: 0:
    (^_~) visitors rate and tag it! and webmasters improve their site! || comment

    popular tags for this site: tags not yet set


Other sites from Helmut Hirner: Hirners Hotel Guide and Helmeloh's Blog