共 50 条
- [31] Boolean differential operators COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2014, 55 (02): : 141 - 158
- [33] Quantum stochastic calculus for the uniform measure and Boolean convolution SEMINAIRE DE PROBABILITES XXXV, 2001, 1755 : 28 - 47
- [34] A selection property of the Boolean μ-calculus and some of its applications RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1997, 31 (04): : 371 - 384
- [35] A Duality-Aware Calculus for Quantified Boolean Formulas PROCEEDINGS OF 2016 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), 2016, : 181 - 186
- [36] Finitariness of Elementary Unification in Boolean Region Connection Calculus FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017), 2017, 10483 : 281 - 297
- [38] A DIFFERENTIAL CALCULUS FOR MULTIFUNCTIONS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (04): : 680 - &
- [39] OBSERVATIONS ON DIFFERENTIAL CALCULUS COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 273 (07): : 349 - &