{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:45:31Z","timestamp":1754487931062},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[1986,2,1]],"date-time":"1986-02-01T00:00:00Z","timestamp":507600000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[1986,2]]},"DOI":"10.1109\/tc.1986.1676728","type":"journal-article","created":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T20:35:10Z","timestamp":1188938110000},"page":"107-114","source":"Crossref","is-referenced-by-count":5,"title":["Uncertainty, Energy, and Multiple-Valued Logics"],"prefix":"10.1109","volume":"C-35","author":[{"family":"Hayes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1147\/rd.104.0278"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674663"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675071"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-95424-5"},{"key":"ref14","first-page":"105","article-title":"three levels of accuracy for the simulation of different fault types in digital systems","author":"thompson","year":"1975","journal-title":"Proc 12th Design Automat Conf"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"1450","DOI":"10.1049\/cp:19960765","article-title":"hierarchical simulation and control of power plants: a case-study approach","volume":"2","author":"ordys","year":"1996","journal-title":"Proceedings of International Conference on Control Control 96"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(79)90031-9"},{"key":"ref17","author":"blundell","year":"1982","journal-title":"Bond Graphs for Modeling Engineering Systems"},{"key":"ref18","first-page":"941","article-title":"seven-valued logic simulation for mos lsi circuits","author":"watanabe","year":"1980","journal-title":"Proc Int Conf Circuits Comput (ICCC 80)"},{"key":"ref19","first-page":"46","article-title":"an algorithm for mos logic simulations","volume":"1","author":"bryant","year":"1980","journal-title":"Lambda"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5008985"},{"key":"ref3","first-page":"177","article-title":"a systematic approach to multivalued digital simulation","author":"hayes","year":"1984","journal-title":"Proc Int Conf Comput Design (ICCD-84)"},{"key":"ref6","author":"rescher","year":"1969","journal-title":"Many-Valued Logic"},{"key":"ref5","first-page":"443","article-title":"comparison of fault simulation methodstreatment of unknown signal values","volume":"iv","author":"levendel","year":"1980","journal-title":"J Digital Syst"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1147\/rd.92.0090"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1959.5222702"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1984.1676392"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674711"},{"key":"ref1","year":"1984","journal-title":"Computer Science and Multiple-Valued Logic"},{"key":"ref20","first-page":"455","article-title":"a logic design theory for vlsi","author":"hayes","year":"1981","journal-title":"Proc 2nd Caltech Conf VLSI"},{"key":"ref22","author":"hayes","year":"1984","journal-title":"Pseudo-Boolean logic circuits"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1984.1585765"},{"key":"ref24","author":"balbes","year":"1974","journal-title":"Distributive Lattices"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.1979.1051256"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1982.12446"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/12\/35253\/01676728.pdf?arnumber=1676728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:40:19Z","timestamp":1638218419000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1676728\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,2]]},"references-count":25,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tc.1986.1676728","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"value":"0018-9340","type":"print"},{"value":"1557-9956","type":"electronic"},{"value":"2326-3814","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,2]]}}}