{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T08:39:28Z","timestamp":1720082368912},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthesis Lectures on Digital Circuits and Systems"],"published-print":{"date-parts":[[2017,6,6]]},"DOI":"10.2200\/s00766ed1v01y201704dcs052","type":"journal-article","created":{"date-parts":[[2017,6,7]],"date-time":"2017-06-07T22:07:25Z","timestamp":1496873245000},"page":"1-215","source":"Crossref","is-referenced-by-count":13,"title":["Boolean Differential Calculus"],"prefix":"10.1007","volume":"12","author":[{"given":"Bernd","family":"Steinbach","sequence":"first","affiliation":[{"name":"Freiberg University of Mining and Technology, Germany"}]},{"given":"Christian","family":"Posthoff","sequence":"additional","affiliation":[{"name":"The University of West Indies, Trinidad & Tobago"}]}],"member":"297","reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.1137\/0107041"},{"key":"p_2","volume-title":"Binary Systems-A BOOLEAN Book","author":"Bochmann Dieter","year":"2008"},{"key":"p_3","volume-title":"Bin\u00e4re Dynamische Systeme","author":"Bochmann Dieter","year":"1981"},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511693090"},{"key":"p_5","volume-title":"Discrete and Switching Functions","author":"Davio Marco","year":"1978"},{"issue":"56","key":"p_6","first-page":"87","volume":"1","author":"Huffman David A.","year":"1958","journal-title":"Quarterly Progress Report"},{"key":"p_7","unstructured":"Trung Quoc Le. Testability of Combinational Circuits-Theory and Design. Ph.D. thesis,University oftechnology Karl-Marx-Stadt,1989. Original German title: Testbarkeit kombinatorischer Schaltungen-Theorie und Entwurf."},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1145\/378239.378353"},{"key":"p_9","volume-title":"Logic Functions and Equations-Binary Models for Computer Science","author":"Bernd Steinbach Christian Posthoffand","year":"2004"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1954.1057465"},{"key":"p_11","volume-title":"Synthesis Lecturers on Digital Circuits and Systems","author":"Sasao Tsutomu","year":"2010"},{"key":"p_12","unstructured":"Bernd Steinbach. Solution of Boolean Differential Equations and their Application to Binary Systems. Ph.D. thesis, TH Karl-Marx-Stadt,1981. Original German title: L\u00f6sung bin\u00e4rer Differentialgleichungen und ihre Anwendung auf bin\u00e4reSysteme."},{"issue":"4","key":"p_13","first-page":"297","volume":"9","author":"Steinbach Bernd","year":"1992","journal-title":"Systems Analysis and Modelling Simulation"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.13140\/2.1.1874.3680"},{"key":"p_15","first-page":"1","volume-title":"Proc. Reed-Muller Workshop, RM","author":"Steinbach Bernd","year":"2015"},{"key":"p_16","first-page":"44","volume-title":"Proc. of the 25th International Workshop on Post-Binary ULSI Systems","author":"Steinbach Bernd","year":"2016"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-9595-5_3"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1166\/jctn.2010.1441"},{"key":"p_19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-2938-7_4"},{"key":"p_20","doi-asserted-by":"publisher","DOI":"10.2200\/S00511ED1V01Y201305DCS042"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.13140\/2.1.2398.6568"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.2298\/FUEE1501051S"},{"key":"p_23","first-page":"93","volume-title":"Proc. of the 12th International Workshops on Boolean Problems, IWSBP","author":"Steinbach Bernd","year":"2016"},{"key":"p_24","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1994.292339"},{"key":"p_25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10286-8"},{"key":"p_26","unstructured":"Svetlana N. Yanushkevich. Logic Differential Calculus in Multi-Valued Logic Design. Ph.D. thesis, Tech.University of Szczecin, Szczecin, Poland,1998."},{"key":"p_27","volume-title":"Minsk","author":"Zakrevskij Arkadij D.","year":"1975"}],"container-title":["Synthesis Lectures on Digital Circuits and Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2022,7,22]],"date-time":"2022-07-22T15:46:40Z","timestamp":1658504800000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.morganclaypool.com\/doi\/10.2200\/S00766ED1V01Y201704DCS052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,6]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,6,6]]}},"alternative-id":["10.2200\/S00766ED1V01Y201704DCS052"],"URL":"https:\/\/doi.org\/10.2200\/s00766ed1v01y201704dcs052","relation":{},"ISSN":["1932-3166","1932-3174"],"issn-type":[{"value":"1932-3166","type":"print"},{"value":"1932-3174","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,6]]}}}