✦ LIBER ✦

Description and Reasoning of VLSI circuit in temporal logic

✍ Scribed by Akira Fusaoka; Hirohisa Seki; Kuzuko Takahashi

Book ID: 112976679
Publisher: Springer
Year: 1984
Tongue: English
Weight: 563 KB
Volume: 2
Category: Article
ISSN: 0288-3635
DOI: 10.1007/bf03037053

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning about timing behavior of digit

Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic

✍ Mondal, A.; Chakrabarti, P.P. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 567 KB

Interconnection Noise in VLSI Circuits |

Interconnection Noise in VLSI Circuits || Noise Detection and Testing in Logic Circuits

✍ , 📂 Article 📅 2004 🏛 Kluwer Academic Publishers ⚖ 736 KB

Extending description logics with uncert

Extending description logics with uncertainty reasoning in possibilistic logic

✍ Guilin Qi; Qiu Ji; Jeff Z. Pan; Jianfeng Du 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 290 KB

Possibilistic logic provides a convenient tool for dealing with uncertainty and handling inconsistency. In this paper, we propose possibilistic description logics as an extension of description logics, which are a family of well-known ontology languages. We first give the syntax and semantics of pos

Description and verification of protocol

Description and verification of protocol by temporal logic

✍ Ichiro Koshida; Tadao Saito; Hiroshi Inose 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 629 KB

The complexity of finite model reasoning

The complexity of finite model reasoning in description logics

✍ Carsten Lutz; Ulrike Sattler; Lidia Tendera 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 546 KB

Satisfiability and reasoning mechanism o

Satisfiability and reasoning mechanism of terminological cycles in description logic( vmathcal{L} )

✍ Ju Wang; YunCheng Jiang; YuMing Shen 📂 Article 📅 2008 🏛 Science in China Press (SCP) 🌐 English ⚖ 583 KB