×

Found 149 Documents (Results 1–100)

Reconstruction of signals: uniqueness and stable sampling. (English) Zbl 1452.94020

Casey, Stephen D. (ed.) et al., Sampling: theory and applications. A centennial celebration of Claude Shannon. Based on talks given at the eleventh international sampling theory and applications conference, SAMPTA 2015, Washington, DC, USA, May 25–29, 2015. Cham: Birkhäuser. Appl. Numer. Harmon. Anal., 9-49 (2020).
MSC:  94A12 94A20 42C15
PDFBibTeX XMLCite
Full Text: DOI

Truth-preserving operations on sums of Kripke frames. (English) Zbl 1418.03101

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 541-558 (2018).
MSC:  03B45 03F45
PDFBibTeX XMLCite

Free constructions and coproducts of d-frames. (English) Zbl 1433.68204

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 14, 15 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Ideals of MV-semirings and MV-algebras. (English) Zbl 1328.06010

Litvinov, G. L. (ed.) et al., Tropical and idempotent mathematics and applications. Proceedings of the international workshop on tropical and idempotent mathematics, Independent University of Moscow, Russia, August 26–31, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9496-5/pbk; 978-1-4704-1684-3/ebook). Contemporary Mathematics 616, 59-75 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Categorical duality theory: with applications to domains, convexity, and the distribution monad. (English) Zbl 1356.06010

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 500-520 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Categorical frameworks for variable-basis sobriety and spatiality. (English) Zbl 1157.18002

Abel, Mart (ed.), Proceedings of the international conference on topological algebras and their applications, ICTAA 2008, held in Tartu, Estonia, January 24–27, 2008 to celebrate the 65th birthday of Mati Abel. Tartu: Estonian Mathematical Society (ISBN 978-9985-9644-4-6/pbk). Mathematics Studies (Tartu) 4, 89-103 (2008).
PDFBibTeX XMLCite

A new infinite game in Banach spaces with applications. (English) Zbl 1139.46005

Randrianantoanina, Beata (ed.) et al., Banach spaces and their applications in analysis. Proceedings of the international conference, Miami University, Oxford, OH, USA, May 22–27, 2006. In honor of Nigel Kalton’s 60th birthday. Berlin: Walter de Gruyter (ISBN 978-3-11-019449-4/hbk). 147-182 (2007).
PDFBibTeX XMLCite
Full Text: arXiv

Isomorphism via translation. (English) Zbl 1144.03015

Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 333-351 (2006).
MSC:  03B45 03G25 06A15
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Software