✦ LIBER ✦

An algebraic characterization of observational equivalence

✍ Scribed by André Arnold; Ilaria Castellani

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 757 KB
Volume: 156
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)00141-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof-theoretic characterization of ob

A proof-theoretic characterization of observational equivalence

✍ Colin Stirling 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 932 KB

A logical characterization of observatio

A logical characterization of observation equivalence

✍ Stephen L. Bloom; Douglas R. Troeger 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 643 KB

Algebraic Equivalence and Homology Class

Algebraic Equivalence and Homology Classes of Real Algebraic Cycles

✍ W. Kucharz 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 333 KB

On algebraic equivalence of tariffing sy

On algebraic equivalence of tariffing systems

✍ Werner Hürlimann 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 235 KB

An algebraic characterization of semanti

An algebraic characterization of semantic independence

✍ Bernhard von Stengel 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 766 KB

An algebraic characterization of planar

An algebraic characterization of planar graphs

✍ Dan Archdeacon; C. Paul Bonnington; Charles H. C. Little 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 773 KB

## Abstract A cycle in a graph is a set of edges that covers each vertex an even number of times. A cocycle is a collection of edges that intersects each cycle in an even number of edges. A bicycle is a collection of edges that is both a cycle and a cocycle. The cycles, cocycles, and bicycles each