✦ LIBER ✦

Axiomatic data type specifications: A first order theory of linear lists

✍ Scribed by Daniel J. Moore; Bruce Russell

Publisher: Springer-Verlag
Year: 1981
Tongue: English
Weight: 817 KB
Volume: 15
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf00289260

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A second order theory of data types

✍ Zhang Ming-Hua 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 English ⚖ 994 KB

Non-linear initial boundary value proble

Non-linear initial boundary value problemsof hyperbolic–parabolic type. A general investigationof admissible couplings between systems of higher order. Part 1: linear theory

✍ Stefan Ebenfeld 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 232 KB

## Abstract In this article (which is divided in three parts) we investigate the non‐linear initial boundary value problems (1.2) and (1.3). In both cases we consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. __Our goal is to characterize systematica

Local estimates for the first derivative

Local estimates for the first derivatives of solutions of quasi-linear second-order elliptic equations and their application to Liouville-type theorems

✍ A. V. Ivanov 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 432 KB

A note on the theory of catalytic curren

A note on the theory of catalytic currents in linear-sweep polarography: A reversible chemical reaction (pseudo-first order) parallel to the electron-transfer process

✍ L. Rampazzo 📂 Article 📅 1967 🏛 Elsevier Science ⚖ 187 KB

Non-linear initial boundary value proble

Non-linear initial boundary value problems of hyperbolic–parabolic type. A general investigation of admissible couplings between systems of higher order. Part 2: abstract quasilinear theory

✍ Stefan Ebenfeld 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 259 KB

## Abstract This is the second part of an article that is devoted to the theory of non‐linear initial boundary value problems. We consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. __Our goal is to characterize systematically all admissible couplings