Primitive recursive selection functions for existential assertions over abstract algebras
| Data(s) |
2008
|
|---|---|
| Formato |
application/pdf application/pdf |
| Identificador |
http://boris.unibe.ch/37285/1/sz08.pdf http://boris.unibe.ch/37285/8/1-s2.0-S1567832608000131-main.pdf Strahm, Thomas; Zucker, Jeffery (2008). Primitive recursive selection functions for existential assertions over abstract algebras. Journal of logic and algebraic programming, 76(2), pp. 175-197. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.002 <http://dx.doi.org/10.1016/j.jlap.2008.02.002> doi:10.7892/boris.37285 info:doi:10.1016/j.jlap.2008.02.002 urn:issn:1567-8326 |
| Idioma(s) |
eng |
| Publicador |
North-Holland |
| Relação |
http://boris.unibe.ch/37285/ |
| Direitos |
info:eu-repo/semantics/openAccess info:eu-repo/semantics/restrictedAccess |
| Fonte |
Strahm, Thomas; Zucker, Jeffery (2008). Primitive recursive selection functions for existential assertions over abstract algebras. Journal of logic and algebraic programming, 76(2), pp. 175-197. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.002 <http://dx.doi.org/10.1016/j.jlap.2008.02.002> |
| Tipo |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion PeerReviewed |
