Typed Logic

Pages

  • Home
  • About Logical Types LLC
  • Contact Me
  • Articles and Lectures
  • Logic Libraries
  • Archived News
  • More Typed Logic

Tuesday, December 26, 2006

Literature

Literature

We have the works available under the following
topics:

Language Modification
January 3, 2006 Mutable syntax
in Mercury
Testing/Verification
work in progress Testing with qcheck2
Miscellanea
January 16, 2006PADL
symposium post mortem





Posted by Diane at 10:00 AM
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest

No comments:

Post a Comment

Newer Post Older Post Home
Subscribe to: Post Comments (Atom)

Blog Archive

  • ►  2007 (7)
    • ►  December (3)
    • ►  October (1)
    • ►  March (1)
    • ►  February (1)
    • ►  January (1)
  • ▼  2006 (10)
    • ▼  December (3)
      • Libraries
      • Literature
      • Rule-Based Logic System
    • ►  July (1)
    • ►  May (1)
    • ►  April (1)
    • ►  March (1)
    • ►  February (2)
    • ►  January (1)
  • ►  2005 (9)
    • ►  December (3)
    • ►  November (2)
    • ►  April (1)
    • ►  February (1)
    • ►  January (2)
  • ►  2004 (1)
    • ►  August (1)
Awesome Inc. theme. Powered by Blogger.