A Multiple-Conclusion Meta-Logic (1994)
Cached
Download Links
- [www.lix.polytechnique.fr]
- [www.lix.polytechnique.fr]
- [www.ircs.upenn.edu]
- [www.cis.upenn.edu]
- [ftp.cis.upenn.edu]
- [ftp.cis.upenn.edu]
- DBLP
Other Repositories/Bibliography
by
Dale Miller
| Venue: | In Proceedings of 9th Annual IEEE Symposium On Logic In Computer Science |
| Citations: | 84 - 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 |
