logic.csci.unt.edu - /tarau/research/BinPrologPapers/

[To Parent Directory]

 8/16/1994  3:10 PM         6767 Abstracts.txt
 9/10/1994 10:46 PM        96988 IWMM92.tar.gz
 9/10/1994 10:45 PM        58412 JapLPC91.tar.gz
 8/16/1994  2:48 PM       186814 LowLevelIssues_JFPL94.ps
 9/25/1994 11:31 AM       147672 LPwithContinuations_LOPSTR94.ps
 9/10/1994 10:45 PM        63247 PLILP90.tar.gz
 9/10/1994 10:45 PM        52424 RCLP91.tar.gz
 8/20/1994  7:43 AM       111881 TclTk_ICLP94_EnvWshop.ps
 9/10/1994 10:44 PM        15036 TechRep92-2.tar.gz
 9/10/1994 10:44 PM        16688 TechRep92-3.tar.gz
 9/10/1994 10:44 PM        13135 TechRep92-4.tar.gz
 8/16/1994  2:52 PM       154525 TermCompression_PLILP94.ps
 9/10/1994 10:43 PM        70822 TR.93.1-DelphiLemmas.tar.gz
 9/10/1994 10:42 PM        63337 TR.93.2-PrologToC-mapping.tar.gz
 9/10/1994 10:41 PM        75049 TR.93.3-CompactTermsInBinWam.tar.gz
 9/25/1994 11:09 AM       289651 TR.94.1-C-ification.ps
 4/25/1995  7:38 PM        70353 TR.95.2-HiddenAccumultorsAndLinImpl.tar.gz
 4/25/1995  7:42 PM        64110 TR.95.3-NLwithHYPO.tar.gz
 9/10/1994 10:44 PM        29763 WshopCLP.tar.gz