[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - Reasoning with hypothetical judgments and open terms in hybrid
Felty, Amy P., Momigliano, AlbertoYear:
2009
Language:
english
DOI:
10.1145/1599410.1599422
File:
PDF, 412 KB
english, 2009