000 01209cam a22003133u 4500
001 10105059
003 upatras
005 20210423114539.0
008 991022s eng
020 _a3 540 60915 6
040 _aΒιβλιοθήκη ΕΑΙΤΥ
_cΒιβλιοθήκη ΕΑΙΤΥ
041 0 _aeng
245 1 0 _aLogics for Concurrency
_bStructure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
260 _aBerlin
_bSpringer-Verlag
_cc1996
300 _axi, 266p,
490 0 _aLecture Notes in Computer Science / G. Goos and J. Hartmanis
_v1043
500 _abibliography:pp.263-266 Εργαστηριο Συνδυαστικων Αλγοριθμων
650 4 _aLOGIC FOR CONCURRENCY
_9123557
650 4 _aPROCEEDINGS
_924278
650 4 _aΥπολογιστική
_963558
650 4 _aΕΣΑ
_9113671
650 4 _aΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ
_9113060
650 4 _aLNCS
_9113061
700 1 _aBirtwistle, Graham
_4edt
_97562
700 1 _aMoller, Faron
_4edt
_97561
760 0 _aLecture notes in computer science
_g1043
942 _2ddc
999 _c89237
_d89237