Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings > Reflecting BDDs in Coq
Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings |
Jifeng He; Masahiko Sato
Springer Berlin Heidelberg
Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings
Reflecting BDDs in Coq
Authors

Kumar Neeraj Verma; Jean Goubault-Larrecq; Sanjiva Prasad; S. Arun-Kumar

ARI Id

1664514334115_2003010

Access

Not Available Free

Pages

162-181

DOI

10.1007/3-540-44464-5_13

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-44464-5_13

Table of Contents of Book
Showing 1 to 20 of 23 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-X
Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables
Jean Vuillemin
1-12
Performance Evaluation of Networks: New Problems and Challenges
Alain Jean-Marie
13-14
Emerging Patterns and Classification
Jinyan Li; Kotagiri Ramamohanarao; Guozhu Dong
15-32
IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications
K. Ettikan; V. Ganapathy
33-42
Performance of Location Caching Scheme to Support Call Locality in Wireless Networks
DongChun Lee; JeomGoo Kim; JooSeok Song
43-57
A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures
Chong-Won Park; Young-Yearl Han
58-68
Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network
Der-Rong Din; Shian-Shyong Tseng; Mon-Fong Jiang
69-87
Spatial Congruence for Ambients Is Decidable
Silvano Dal Zilio
88-103
A Spatio-temporal Representation Scheme for Modeling Moving Objects in Video Data
Choon-Bo Shim; Jae-Woo Chang
104-118
Node-to-Set Disjoint Paths Problem in Rotator Graphs
Keiichi Kaneko; Yasuto Suzuki
119-132
On Simulation-Checking with Sequential Systems
Antonin Kučera
133-148
Reusing Animations in Databases for Multimedia Presentations
Zhiyong Huang; Binjia Jiao; B. Prabhakaran; Conrado R. Ruiz Jr
149-161
Reflecting BDDs in Coq
Kumar Neeraj Verma; Jean Goubault-Larrecq; Sanjiva Prasad; S. Arun-Kumar
162-181
On Model Checking Synchronised Hardware Circuits
Martin Leucker
182-198
Safe Ambients: Control Flow Analysis and Security
Pierpaolo Degano; Francesca Levi; Chiara Bodei
199-214
Security Types for Mobile Safe Ambients
M. Dezani-Ciancaglini; I. Salvo
215-236
Improving Functional Logic Programs by Difference-Lists
Elvira Albert; César Ferri; Frank Steiner; Germán Vidal
237-254
A New Multihop Logical Topology for Reliable Broadband Communication
U. Bhattacharya; R. Chaki
255-262
A New Scalable Topology for Multihop Optical Networks
U. Bhattacharya; R. Chaki
263-272
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 23 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings