Concurrent constraint programming and linear logic (abstract)
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Journal of Functional Programming
Cyclic Extensions of Order Varieties
Electronic Notes in Theoretical Computer Science (ENTCS)
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Hi-index | 0.00 |