×

Found 61 Documents (Results 1–61)

Uniform interpolation for coalgebraic fixpoint logic. (English) Zbl 1366.03245

Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 238-252 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

New results and applications of extrapolation theory. (English) Zbl 0922.46063

Cwikel, Michael (ed.) et al., Interpolation spaces and related topics. Proceedings of a workshop held at the Technion in Haifa, Israel, June 27-July 3, 1990. Bar-Ilan: Bar-Ilan University, Isr. Math. Conf. Proc. 5, 81-105 (1992).
MSC:  46M35 46B70
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software