𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Construction of a reconfigurable dynamic logic cell

✍ Scribed by K. Murali; Sudeshna Sinha; William L. Ditto


Book ID
110638485
Publisher
Springer-Verlag
Year
2005
Tongue
English
Weight
501 KB
Volume
64
Category
Article
ISSN
0304-4289

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A Free Construction of Dynamic Terms
✍ Egidio Astesiano; Elena Zucca πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 561 KB

In this paper we show that it is possible to extend in a natural way to the dynamic case some basic results of the classical approach to (static) data types. Within an appropriate framework of dynamic structures (called d-oids), which play the same role as algebras in the static case, we define a la

A Constructive Proof of a Theorem in Rel
✍ Aleksandar Kron πŸ“‚ Article πŸ“… 1985 πŸ› John Wiley and Sons 🌐 English βš– 461 KB πŸ‘ 1 views

In this paper we investigate a propositional systeni L related t o T,-W of relevance logic. It has been conjectured that for any formulas A and B