×

Found 58 Documents (Results 1–58)

Functions and references in the \(\pi\)-calculus: full abstraction and proof techniques. (English) Zbl 07870340

Bojańczyk, Mikołaj (ed.) et al., 49th EATCS international conference on automata, languages, and programming, ICALP 2022, Paris, France, July 4–8, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 229, Article 130, 19 p. (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Dynamics of solitons in polyacetylene in the step-potential model. (English) Zbl 0900.65214

Christiansen, P. L. (ed.) et al., Future directions of nonlinear dynamics in physical and biological systems. Proceedings of a NATO Advanced Study Institute in honour of Alwyn Scott’s 60th birthday, Lyngby, Denmark, July 23–August 1, 1992. New York, NY: Plenum. NATO ASI Ser., Ser. B, Phys. 312, 67-72 (1993).
PDFBibTeX XMLCite

Numerics of and existence theorems for weak solutions of nonlinear partial differential equations. (Numerik und Existenzsätze schwacher Lösungen nichtlinearer partieller Differentialgleichungen.) (German) Zbl 0764.35006

Zürich: ETH Zürich, 81 S. (1991).
MSC:  65M99 65N99 65N30 47J05 35D05 35B10
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software