共 50 条
- [21] Rewriting models of Boolean programs TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 136 - 150
- [23] Discrete Interference Modeling via Boolean Algebra 2011 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 2011, : 170 - 173
- [25] BOOLEAN MODEL FOR A CLASS OF DISCRETE EVENT SYSTEMS IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1974, SMC4 (03): : 249 - 258
- [26] Supervisory control of Boolean Discrete event systems Proceedings of the 24th Chinese Control Conference, Vols 1 and 2, 2005, : 950 - 953
- [27] BOOLEAN ASPECTS IN DISCRETE OPTIMIZATION - RECENT DEVELOPMENTS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A221 - A221
- [30] On models for quantified Boolean formulas LOGIC VERSUS APPROXIMATION: ESSAYS DEDICATED TO MICHAEL M RICHTER ON THE OCCASION OF HIS 65TH BIRTHDAY, 2004, 3075 : 18 - 32