On The Insider: Britney's Bikini-Clad Top 10
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

This paper is an appendix to report HPL-2008-59. It gives a worked example of the construction used in the proof from that report. For finiteness, a reduced datatype map consisting of only xsd:boolean is used. Each of the graphs in the construction is listed explicitly, with some redundancy eliminated. The final Herbrand graph contains about 15,000 triples.

(Is this item miscategorized? Does it need more tags? Let us know.)

Format:PDFSize:141 KB
Date:May 2008
Pages:13

Top results from XML

White Paper Increase IT flexibility with IBM WebSphere ESB software
White Paper Getting Started with LINQ to XML
White Paper Cisco IP Phone Features
Webcast Think Globally, Act Locally: Targeting New Customers with Geolocation
White Paper XML and EDI: Peaceful Co-Existence

» View all XML listings

Top results from Programming Languages

White Paper Citizants: Bringing IT In-House
White Paper The Pursuit of a Standardized Solution for Secure Enterprise RBAC
White Paper Branch Office Modernization Best Practices using the Microsoft Core Infrastructure Optimization Model
White Paper Number Systems Decoded - Binary, Decimal, and Hexadecimal
White Paper 5 Rules of Effective Negotiating

» View all Programming Languages listings

advertisement

White Papers, Webcasts, and Resources

Featured Training Courses

SmartPlanet

Click Here

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).