✦ LIBER ✦

From algebra to operational semantics

✍ Scribed by He Jifeng; C.A.R. Hoare

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 419 KB
Volume: 45
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(93)90219-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

From linear algebra via affine algebra t

From linear algebra via affine algebra to projective algebra

✍ Wolfgang Bertram 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 292 KB

We introduce an algebraic formalism, called "affine algebra", which corresponds to affine geometry over a field or ring K in a similar way as linear algebra corresponds to affine geometry with respect to a fixed base point. In a second step, we describe projective geometry over K by a similar formal

From topology to algebra

✍ W. T. Tutte 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 410 KB

Rational W algebras from composite opera

Rational W algebras from composite operators

✍ F. Delduc; L. Frappat; P. Sorba; F. Toppan; E. Ragoucy 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 470 KB

Expertext: From semantic nets to logic P

Expertext: From semantic nets to logic Petri nets

✍ Roy Rada; Paul E.S. Dunne; Judith Barlow 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 965 KB

Mediotemporal contributions to semantic

Mediotemporal contributions to semantic processing: fMRI evidence from ambiguity processing during semantic context verification

✍ Klaus Hoenig; Lukas Scheef 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 318 KB

The medial temporal lobe (MTL) is well known to be crucial for various types of memory; however, controversy remains as to which of its substructures contribute to semantic processing and, if so, to what extent. The current study addresses the issue of MTL contributions to semantic processing during

Self-Inverse Yang–Baxter Operators from

Self-Inverse Yang–Baxter Operators from (Co)Algebra Structures

✍ F Nichita 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 119 KB

i∈I be the dual basis in V \* . Let V e ε e be the coalgebra structure given in the previous proposition. The dual algebra has the unity ε e = e \* = u e \* 1 , and the multiplication is given by e j \* e r = e r e i \* e r 1 e j \* e r 2 = e i \* e r e j \* e + e i \* e e j \* e r = 0 M e i \* ⊗