×

Found 228 Documents (Results 1–100)

Equational theorem proving for clauses over strings. (English) Zbl 07810645

Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 49-66 (2023).
MSC:  03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

The space of spaces: curvature bounds and gradient flows on the space of metric measure spaces. (English) Zbl 07754114

Memoirs of the American Mathematical Society 1443. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6696-1/pbk; 978-1-4704-7629-8/ebook). v, (2023).
MSC:  53-02 53C23 53C22
PDFBibTeX XMLCite
Full Text: DOI arXiv

Non-disjoint combined unification and closure by equational paramodulation. (English) Zbl 07497914

Konev, Boris (ed.) et al., Frontiers of combining systems. 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12941, 25-42 (2021).
MSC:  68Txx
PDFBibTeX XMLCite
Full Text: DOI Link

Terminating non-disjoint combined unification. (English) Zbl 07496644

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 113-130 (2021).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Hamiltonian perturbation theory for ultra-differentiable functions. (English) Zbl 1487.37001

Memoirs of the American Mathematical Society 1319. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4691-8/pbk; 978-1-4704-6526-1/ebook). v, 89 p. (2021).
MSC:  37-02 37K55 37J40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Wiener estimates on modulation spaces. (English) Zbl 1443.42021

Boggiatto, Paolo (ed.) et al., Advances in microlocal and time-frequency analysis. Contributions of the conference on microlocal and time-frequency analysis 2018, MLTFA18, in honor of Prof. Luigi Rodino on the occasion of his 70th birthday, Torino, Italy, July 2–6, 2018. Cham: Birkhäuser. Appl. Numer. Harmon. Anal., 475-505 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Extended Gevrey regularity via the short-time Fourier transform. (English) Zbl 1452.46028

Boggiatto, Paolo (ed.) et al., Advances in microlocal and time-frequency analysis. Contributions of the conference on microlocal and time-frequency analysis 2018, MLTFA18, in honor of Prof. Luigi Rodino on the occasion of his 70th birthday, Torino, Italy, July 2–6, 2018. Cham: Birkhäuser. Appl. Numer. Harmon. Anal., 455-474 (2020).
MSC:  46F05 35A18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Anisotropic Gevrey-Hörmander pseudo-differential operators on modulation spaces. (English) Zbl 1439.35595

Boggiatto, Paolo (ed.) et al., Advances in microlocal and time-frequency analysis. Contributions of the conference on microlocal and time-frequency analysis 2018, MLTFA18, in honor of Prof. Luigi Rodino on the occasion of his 70th birthday, Torino, Italy, July 2–6, 2018. Cham: Birkhäuser. Appl. Numer. Harmon. Anal., 1-20 (2020).
MSC:  35S05 47G30 46F05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Semi-continuous convolution estimates on weakly periodic Lebesgue spaces. (English) Zbl 1429.44002

Boggiatto, Paolo (ed.) et al., Landscapes of time-frequency analysis. Based on talks given at the inaugural conference on aspects of time-frequency analysis, Turin, Italy, July 5–7, 2018. Cham: Birkhäuser. Appl. Numer. Harmon. Anal., 309-321 (2019).
MSC:  44A35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Hilbert space embeddings for Gelfand-Shilov and Pilipović spaces. (English) Zbl 1395.46032

Oberguggenberger, Michael (ed.) et al., Generalized functions and Fourier analysis. Dedicated to Stevan Pilipović on the occasion of his 65th birthday. Contributions of the 8th, 9th and 10th ISAAC congresses, Moscow, Russia, 2011, Krakow, Poland, 2013 and Macau, China, 2015. Basel: Birkhäuser/Springer (ISBN 978-3-319-51910-4/hbk; 978-3-319-51911-1/ebook). Operator Theory: Advances and Applications 260. Advances in Partial Differential Equations, 31-44 (2017).
MSC:  46F05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software