✦ LIBER ✦

Foreword to the special issue on security and rewriting techniques

✍ Scribed by Kremer, Steve; Narendran, Paliath

Book ID: 126701502
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 111 KB
Volume: 238
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2014.07.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Special Issue on Order-sorted Rewriting:

Special Issue on Order-sorted Rewriting: Foreword of the Guest Editor

✍ G. Smolka 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 89 KB

Equational logic is ubiquitous in computer science. It is the basis for algebraic specification, rewriting, unification, and equational programming. These techniques evolved in a many-sorted setting, where different sorts are disjoint. Joseph Goguen observed that an order-sorted equational logic mod

Guest Editorial Foreword to the Special

Guest Editorial Foreword to the Special Issue on Availability, Reliability, and Security

✍ Sandhu, R.; Tjoa, A. M.; Weippl, E. R. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 97 KB

Special issue on “techniques to produce

Special issue on “techniques to produce Intelligent_Secure software”

✍ Hamido Fujita 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 91 KB

Foreword to the Special Issue

✍ John C. Peterson 📂 Article 📅 1976 🏛 School Science and Mathematics Association 🌐 English ⚖ 108 KB

Foreword Special Issue on Analog Circuit

Foreword Special Issue on Analog Circuit Techniques and Related Topics

✍ Hiroshi Tanimoto 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 33 KB

Foreword to the Special Issue on Schemas

✍ Pierre Flener; Kung-Kiu Lau; Wolfgang Bibel 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 195 KB