๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE Comput. Soc. Press [1992] Seventh Annual IEEE Symposium on Logic in Computer Science - Santa Cruz, CA, USA (22-25 June 1992)] [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science - Strong sequentiality of left-linear overlapping term rewriting systems

โœ Scribed by Toyama, Y.


Book ID
126618830
Publisher
IEEE Comput. Soc. Press
Year
1992
Tongue
English
Weight
761 KB
Edition
7
Category
Article
ISBN-13
9780818627354

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES