×

Found 188 Documents (Results 1–100)

Boolean valued analysis: background and results. (English) Zbl 1482.06003

Kusraev, Anatoly G. (ed.) et al., Operator theory and differential equations. Selected papers based on the presentations at the 15th conference on order analysis and related problems of mathematical modeling, Vladikavkaz, Russia, July 15–20, 2019. Cham: Birkhäuser. Trends Math., 91-105 (2021).
MSC:  06F25 46A40 03C90
Full Text: DOI

The complexity of Boolean surjective general-valued CSPs. (English) Zbl 1440.68116

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 4, 14 p. (2017).
MSC:  68Q25 68Q17 90C09
Full Text: DOI

Boolean valued analysis. Selected topics. (English) Zbl 1407.46003

Trends in Science. The South of Russia. Mathematical Monograph 6. Vladikavkaz: Southern Mathematical Institute, Vladikavkaz Scientific Center, Russian Academy of Sciences (ISBN 978-5-904695-24-8). iv, 405 p. (2014).
Full Text: DOI

Edge valued binary decision diagrams. (English) Zbl 0858.94037

Sasao, Tsutomu (ed.) et al., Representations of discrete functions. Proceedings of the IFIP WG 10.5 workshop on applications of the Reed-Muller expansions in circuit design (Reed-Muller ’95), Makuhari, Chiba, Japan. Boston, MA: Kluwer Academic Publishers. 109-132 (1996).
Reviewer: U.Schöning (Ulm)
MSC:  94C10 68Q25

On nonstandard methods in functional analysis. (English) Zbl 0853.46081

Kalton, Nigel (ed.) et al., Interaction between functional analysis, harmonic analysis, and probability. Proceedings of a conference held at the University of Missouri, Columbia, MO, USA, May 29-June 3, 1994. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 175, 301-306 (1996).

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field