Sten Ake Tarnlund

Sten Ake Tarnlund

Uppsala University - Uppsala / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1436336
Uppsala Universitet
person_outline Sten Ake Tarnlund's MOST POPULAR ARTICLES
1-) A first order theory of data and programsKL Clark, SÅ TärnlundInformation Processing 77 Proceedings of the IFIP Congress 77, Toronto …, 19771711977
2-) Horn clause computabilitySÅ TärnlundBIT Numerical Mathematics 17 (2), 215-226, 19771381977
3-) Properties of a logic programming languageÅ Hansson, S Haridi, SÅ TärnlundLogic Programming, Clark, Keith; Tarnlund, Sten--Ake, (eds.), 1982451982
4-) A natural programming calculusA Hansson, SA TarnlundIJCAI-79: Proceedings of the 6th International Joint Conference on …, 1979441979
5-) Steadfast logic programsKK Lau, M Ornaghi, SÅ TärnlundThe journal of logic programming 38 (3), 259-294, 1999381999