This document tackles the basic facts of the 74HCT TTL Compatible CMOS components. It includes a comparison between its sub-family of components. Suggestions on what CMOS to use on a specific ...

The PAL family continued to evolve into the late 1980s, with faster, lower-power devices, including ones that could be reprogrammed. The most complex device type developed was probably the PAL22V10, ...

Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...

A hypermodality is a connective whose meaning depends on where in the formula it occurs. The paper motivates the notion and shows that hypermodal logics are much more expressive than traditional modal ...