✦ LIBER ✦

Bisimulation Equivalence Is Decidable for All Context-Free Processes

✍ Scribed by S. Christensen; H. Huttel; C. Stirling

Book ID: 112252177
Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 480 KB
Volume: 121
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1995.1129

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deciding bisimulation and trace equivale

Deciding bisimulation and trace equivalences for systems with many identical processes

✍ Hsu-Chun Yen; Shi-Tsuen Jian; Ta-Pang Lao 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 805 KB

The D0L-ness for context-free languages

The D0L-ness for context-free languages is decidable

✍ M. Linna 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 407 KB

Deciding bisimilarity of normed context-

✍ Dung T. Huynh; Lu Tian 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 915 KB

Deciding Branching Bisimilarity of Norme

Deciding Branching Bisimilarity of Normed Context-Free Processes Is in Σp2

✍ D. Caucal; D.T. Huynh; L. Tian 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 719 KB

Hippocampal context processing is critic

Hippocampal context processing is critical for interference free recall of odor memories in rats

✍ Dan A. Butterly; Maurice A. Petroccione; David M. Smith 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 431 KB

## Abstract Interference is a critical problem for memory systems and a primary cause of retrieval failure. One strategy for minimizing interference is to associate the items to be remembered with the context in which they were learned. For example, human subjects who learn two lists of words in se

MAGNA CARTAThe Great CharterPreamble

📂 Fiction 🌐 English ⚖ 11 KB 👁 18 views