A Multiple-Conclusion Meta-Logic (1994)

by Dale Miller
Venue:In Proceedings of 9th Annual IEEE Symposium On Logic In Computer Science
Citations:86 - 7 self

Document Versions

A Multiple-Conclusion Meta-Logic –Dale Miller — 1994 — In Proceedings of 9th Annual IEEE Symposium On Logic In Computer Science
A Multiple-Conclusion Meta-Logic –Dale Miller — 1994
A multiple-conclusion meta-logic –Dale Miller — 1994 — Ninth Annual Symposium on Logic in Computer Science
A Multiple-Conclusion Meta-Logic –Dale Miller — 1994 — Ninth Annual Symposium on Logic in Computer Science