Declarative Programming and Clinical Medicine
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Encoding transition systems in sequent calculus
Theoretical Computer Science - Linear logic
Program separation and definitional higher order programming
Computer Languages
Hi-index | 0.00 |