Direkt zum Inhalt

Free Theorems for Functional Logic Programs

Zitieren

Christiansen J, Seidel D, Voigtländer J. Free Theorems for Functional Logic Programs. In: Proceedings Of The 4Th Acm Sigplan Workshop On Programming Languages Meets Program Verification. ; 2010:39-48. doi:10.1145/1707790.1707797.
Christiansen, J., Seidel, D., & Voigtländer, J. (2010). Free Theorems for Functional Logic Programs. In Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification (S. 39-48). http://doi.org/10.1145/1707790.1707797
Christiansen, Jan, Daniel Seidel, und Janis Voigtländer. 2010. „Free Theorems For Functional Logic Programs“. In Proceedings Of The 4Th Acm Sigplan Workshop On Programming Languages Meets Program Verification, 39-48. doi:10.1145/1707790.1707797.
Christiansen, Jan, Daniel Seidel, und Janis Voigtländer. „Free Theorems For Functional Logic Programs“. Proceedings Of The 4Th Acm Sigplan Workshop On Programming Languages Meets Program Verification. N.p., 2010. 39-48.
Christiansen, J., u. a. „Free Theorems For Functional Logic Programs“. Proceedings Of The 4Th Acm Sigplan Workshop On Programming Languages Meets Program Verification, 2010, S. 39-48.

Details

  • Number of Pages

    39-48