Home » Computer Sciences » Computer Scinece Publications » Publications and Bibliographies » Bibliography on Logical

Bibliography on Logical in Computer Engineering Resources Directory

    

The source for this bibliography is in BibTeX format, DVI and PostScript versions are also available. Papers with known URLs in the WorldWide Web have been annotated with their location and can be previewed or retrieved directly. Corrections, additions, and new URLs for papers and implementations are welcome.

 


Website: http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs-bib.html

Sponsored Links