๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Computation on binary tree-networks

โœ Scribed by Maurice Tchuente


Publisher
Elsevier Science
Year
1986
Tongue
English
Weight
553 KB
Volume
14
Category
Article
ISSN
0166-218X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On Binary Computation Structures
โœ Bernhard Heinemann ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 696 KB

## Abstract Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for __knowledge__ and __nexttime.__ These operators are

On binary search trees
โœ Roberto De Prisco; Alfredo De Santis ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 378 KB