On the behavioral equivalence between k-data structures /
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | প্রবন্ধ |
| ভাষা: | English |
| বিষয়গুলি: | |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| LEADER | 00836nam a2200289 4500 | ||
|---|---|---|---|
| 001 | DLU090067103 | ||
| 005 | ##20090422 | ||
| 040 | # | # | |a DLU |b eng |
| 041 | # | # | |a eng |
| 044 | # | # | |a UK |
| 100 | # | # | |a Martins, Manuel A. |
| 245 | # | # | |a On the behavioral equivalence between k-data structures / |c Manuel A. Martins. |
| 653 | # | # | |a Behavioral equivalence |
| 653 | # | # | |a Data structures |
| 653 | # | # | |a Hidden logic |
| 653 | # | # | |a Leibniz congruence |
| 653 | # | # | |a Nerode equivalence |
| 773 | # | # | |t The Computer Journal |g Vol. 51, no.2 (March 2008), p. 181-191 |
| 920 | # | # | |a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt |
| 994 | # | # | |a DLU |
| 900 | # | # | |a True |
| 911 | # | # | |a Trương Bảo Trâm Anh |
| 925 | # | # | |a G |
| 926 | # | # | |a A |
| 927 | # | # | |a BB |
| 980 | # | # | |a Thư viện Trường Đại học Đà Lạt |