[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - Prop revisited: propositional formula as abstract domain for groundness analysis

✍ Scribed by Cortesi, A.; File, G.; Winsborough, W.

• Book ID: 126694425
• Publisher: IEEE Comput. Sco. Press
• Year: 1991
• Weight: 472 KB
• Category: Article
• ISBN-13: 9780818622304
• DOI: 10.1109/LICS.1991.151656