𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Completeness Theorems for Temporal Logics TΩ and □TΩ

✍ Scribed by Hiroya Kawai

Publisher
John Wiley and Sons
Year
1988
Tongue
English
Weight
318 KB
Volume
34
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

COMPLETENESS THEOREMS FOR TEMPORAL LOGICS T, AND OT, by HIROYA KAWAI in Osaka (Japan)')

l ) The author would like t o express his sincere thanks to Professor T. NISHIJIWRA of Tsukuba University.

📜 SIMILAR VOLUMES

A posteriori error estimates for nonline
A posteriori error estimates for nonlinear problems: Lr, (0, T; W1,ρ (Ω))-error estimates for finite element discretizations of parabolic equations
✍ R. Verfürth 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 546 KB

Using the abstract framework of [R. Verfürth, Math. Comput. 62, 445-475 (1996)], we analyze a residual a posteriori error estimator for space-time finite element discretizations of parabolic PDEs. The estimator gives global upper and local lower bounds on the error of the numerical solution. The fin

ChemInform Abstract: Catalyzed Cyclizati
ChemInform Abstract: Catalyzed Cyclization of α,ω-Dienes: A Versatile Protocol for the Synthesis of Functionalized Carbocyclic and Heterocyclic Compounds.
✍ B. RADETICH; T. V. RAJANBABU 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 38 KB 👁 1 views

## Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable v