{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T00:01:05Z","timestamp":1752192065242,"version":"3.41.2"},"reference-count":18,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[1977,12,1]],"date-time":"1977-12-01T00:00:00Z","timestamp":249782400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[1977,12,1]],"date-time":"1977-12-01T00:00:00Z","timestamp":249782400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[1977,12,1]],"date-time":"1977-12-01T00:00:00Z","timestamp":249782400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[1977,12]]},"DOI":"10.1109\/tc.1977.1674781","type":"journal-article","created":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T16:35:10Z","timestamp":1188923710000},"page":"1202-1212","source":"Crossref","is-referenced-by-count":5,"title":["Logic Properties of Unate Discrete and Switching Functions"],"prefix":"10.1109","volume":"C-26","author":[{"family":"Thayse","sequence":"first","affiliation":[{"name":"MBLE Research Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Deschamps","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1147\/rd.92.0090"},{"key":"ref11","first-page":"64","article-title":"two theorems about truth functions","volume":"10","author":"quine","year":"1973","journal-title":"Bol Soc Mat Mexicana"},{"journal-title":"Introduction to Switching and Automata Theory","year":"1965","author":"harrison","key":"ref12"},{"journal-title":"Asynchronous Sequential Switching Circuits","year":"1969","author":"unger","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1970.7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(72)90299-9"},{"key":"ref16","article-title":"synthesis of multiple input change hazard-free combinational switching circuits without feed-back","author":"bredeson","year":"0","journal-title":"IEEE Group repository system R73-118"},{"journal-title":"Computer Science and Multiple-Valued Logic Theory and Applications","year":"1976","author":"rine","key":"ref17"},{"journal-title":"Discrete and Switching Functions","year":"1977","author":"davio","key":"ref18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1977.1674781"},{"key":"ref3","first-page":"99","article-title":"representation of discrete functions","author":"deschamps","year":"1975","journal-title":"Proc Int Symp Multiple-Valued Logic"},{"key":"ref6","first-page":"183","article-title":"building blocks and synthesis techniques for the realization of m-ary combinational switching functions","author":"ying","year":"1971","journal-title":"Proc Int Symp Multiple-Valued Logic"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1961.5219145"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1109\/T-C.1974.223996","article-title":"a unified approach to combinational hazards","volume":"c 23","author":"beister","year":"1974","journal-title":"IEEE Transactions on Computers"},{"journal-title":"Alg\ufffdbre de Boole","year":"1965","author":"kuntzmann","key":"ref7"},{"key":"ref2","first-page":"424","article-title":"on a theory of discrete functions, part ii: the ring and field structures of discrete functions","volume":"28","author":"thayse","year":"1973","journal-title":"Philips Res Rep"},{"key":"ref1","first-page":"397","article-title":"on a theory of discrete functions, part i: the lattice structure of discrete functions","volume":"28","author":"deschamps","year":"1973","journal-title":"Philips Res Rep"},{"journal-title":"Cellular hazard-free design of combinational networks","year":"1975","author":"thayse","key":"ref9"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/12\/35154\/01674781.pdf?arnumber=1674781","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,9]],"date-time":"2025-07-09T23:08:22Z","timestamp":1752102502000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1674781\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,12]]},"references-count":18,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tc.1977.1674781","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"type":"print","value":"0018-9340"},{"type":"electronic","value":"1557-9956"},{"type":"electronic","value":"2326-3814"}],"subject":[],"published":{"date-parts":[[1977,12]]}}}