[Cia2000] On Urquhart's C logic
Cia00ISMVL (In proceedings)
|
Author(s) | Ciabattoni A. |
Title | "On Urquhart's C logic" |
Date | 2000 |
In | International Symposium on Multiple Valued Logic (ISMVL'2000) |
Page(s) | 113-118 |
Publisher | IEEE |
@inproceedings{Cia00ISMVL,
publisher = {IEEE},
title = {On {U}rquhart's {C} logic},
author = {A. Ciabattoni},
year = {2000},
booktitle = {International Symposium on Multiple Valued Logic (ISMVL'2000)},
pages = {113-118},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)