• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Dependent Types for Program Termination Verification (2001)

Cached

  • Download as a PDF
    •  
  • Download as a PS

Download Links

  • [www.cs.bu.edu]
  • [www.ececs.uc.edu]
  • [www.cs.bu.edu]
  • [www.church-project.org]
  • [www.church-project.org]
  • [www.cs.cmu.edu]
  • [www-2.cs.cmu.edu]
  • [www.cs.bu.edu]
  • [www.cs.bu.edu]
  • [www.cs.bu.edu]

    • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Hongwei Xi
Citations:28 - 5 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

Versions

  • Version 0
  • Version 1

Version History

Metadata Version 1

User correction supplied by mph

DatumValueSource
TITLE Dependent Types for Program Termination Verification user correction
AUTHOR NAME Hongwei Xi user correction
YEAR 2001 user correction
CITATIONS 27 found ParsCit 1.0
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University