Đang tải...

Relational methods in computer science 8th international seminar on relational methods in computer science, 3rd international workshop on applications of kleene algebra, workshop of COST action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, selected revised papers /

This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274: TARSKI, Theory and Application of Relational Structur...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: International Seminar on Relational Methods in Computer Science, MacCaull, Wendy., Winter, Michael., Düntsch, Ivo.
Định dạng: Livro
Ngôn ngữ:Inglês
Được phát hành: Springer, 2006.
Loạt:Lecture notes in computer science;
Những chủ đề:
Truy cập trực tuyến:https://minerva.ufrj.br/F/?func=direct&doc_number=000903188&local_base=UFR01
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!