×

Found 45 Documents (Results 1–45)

100
MathJax

A relational model of types-and-effects in higher-order concurrent separation logic. (English) Zbl 1380.68126

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 218-231 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Hyperspherical harmonics expansion techniques. Application to problems in physics. (English) Zbl 1417.81010

Theoretical and Mathematical Physics (Cham). New Delhi: Springer (ISBN 978-81-322-2360-3/hbk; 978-81-322-2361-0/ebook). xi, 159 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Logical relations for coherence of effect subtyping. (English) Zbl 1367.68059

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 107-122 (2015).
MSC:  68N30 03B40 68N18 68Q55 68T15
PDF BibTeX XML Cite
Full Text: DOI

Multi-scale analysis for random quantum systems with interaction. (English) Zbl 1280.81003

Progress in Mathematical Physics 65. New York, NY: Birkhäuser/Springer (ISBN 978-1-4614-8225-3/hbk; 978-1-4614-8226-0/ebook). xi, 238 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

A concurrent logical relation. (English) Zbl 1252.68074

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 107-121, electronic only (2012).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

A Kripke logical relation for effect-based program transformations. (English) Zbl 1323.68230

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 445-456 (2011).
MSC:  68N30 68N18 68N20
PDF BibTeX XML Cite
Full Text: DOI

Monadic regions. (English) Zbl 1323.68112

Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 103-114 (2004).
MSC:  68N18 03B70 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Gap-labelling for quasi-crystals (proving a conjecture by J. Bellissard). (English) Zbl 1284.46057

Combes, Jean-Michel (ed.) et al., Operator algebras and mathematical physics. Proceedings of the conference, Constanţa, Romania, July 2–7, 2001. Bucharest: Theta (ISBN 973-85432-2-3). 11-22 (2003).
PDF BibTeX XML Cite
Full Text: arXiv

Spatial patterning in reaction-diffusion systems with nonstandard boundary conditions. (English) Zbl 0969.35019

Ramm, A. G. (ed.) et al., Operator theory and its applications. Proceedings of the international conference, Winnipeg, Canada, October 7-11, 1998. Providence, RI: American Mathematical Society (AMS). Fields Inst. Commun. 25, 239-256 (2000).
MSC:  35B32 35J85 35K57 35J65 92B05 47H04
PDF BibTeX XML Cite

Limit behaviour in a singular perturbation problem, regularized convolution operators and the three-body quantum problem. (English) Zbl 0903.47039

Gohberg, I. (ed.) et al., Differential and integral operators. Vol. I. Proceedings of the international workshop on operator theory and applications, IWOTA 95, Regensburg, Germany, July 31-August 4, 1995. Basel: Birkhäuser. Oper. Theory, Adv. Appl. 102, 1-10 (1998).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software