𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automatically Proving Up–to Bisimulation

✍ Scribed by Daniel Hirschkoff

Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
871 KB
Volume
18
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refinements to depth-first iterative-dee
Refinements to depth-first iterative-deepening search in automatic theorem proving
✍ Xumin Nie; David A. Plaisted 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 639 KB

This paper will dzscuss two refinements to the depth-first tteratlve-deepemng search strategy The first refinement, the priority system, ts an attempt to simulate best-first search usmg depth-first tterattvedeepenmg search A new data structure, the priority hst, ts introduced mto depth-first tteratt

MARTT: Using induced knowledge base to a
MARTT: Using induced knowledge base to automatically mark up plant taxonomic descriptions with XML
✍ Hong Cui 📂 Article 📅 2006 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 784 KB

## Abstract Despite the sub‐language nature of taxonomic descriptions of plants, researchers warned about the large variations among different collections of descriptions in terms of information contents and presentations. These variations impose a serious challenge to the development of automatic

An investigation into the goals of resea
An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning
✍ Frank Malloy Brown 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 999 KB

We argue that theorem provers based on domain dependent knowledge must be able to increase their domain dependent deductive knowledge if they are to serve as a component of a mathematical reasoning system. The reason for this is that if such systems are not extensible then they would not be able to

cover
To Keep a Bird Singing: He knows it's a cover-up, but can he prove it?
✍ Kevin Doyle 📂 Fiction 📅 2018 🏛 Blackstaff Press Ltd 🌐 English ⚖ 156 KB

'An impressive and thrilling debut that looks corruption in the eye and never blinks.' DAVID PARK When Noelie Sullivan finds his stolen punk records for sale in a charity shop in Cork, it seems like a lucky break. But Noelie has just made himself and those closest to him a target. Hidden