Zitieren
1.
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, Jan, 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.