[sv-ac] Manits 1758: Boolean Implication and Equivalelnce

From: Eduard Cerny <Eduard.Cerny_at_.....>
Date: Mon Oct 08 2007 - 05:17:19 PDT

Hello,

I have uploaded an updated proposal following Shalom's recommendations.
Also attached here.

Best regards,
ed

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

application/octet-stream attachment: 1758_BoolImplication.071005.pdf

Received on Mon Oct 8 05:18:14 2007

This message: [ Message body ]
Next message: Lisa Piper: "RE: [sv-ac] hierarchical references into programs"
Previous message: Kulshrestha, Manisha: "[sv-ac] Draft4 review - comments for 1361"
Next in thread: Korchemny, Dmitry: "RE: [sv-ac] Manits 1758: Boolean Implication and Equivalelnce"
Reply: Korchemny, Dmitry: "RE: [sv-ac] Manits 1758: Boolean Implication and Equivalelnce"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Mon Oct 08 2007 - 05:18:49 PDT