Skip to search formSkip to main contentSkip to account menu

Ralph-Johan Back

Known as: Back (disambiguation), R. J. R. Back 
Ralph-Johan Back is a Finnish computer scientist. Back originated the refinement calculus, an important approach to the formal development of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Computer scientistDenotational semanticsInvariant-based programmingKaisa Sere

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Talblinde Johan bliver kassemester
2014
2014
Formal and informal land tenure systems in Afar region, Ethiopia: Perceptions, attitudes and implications for land use disputes
Land is a contentious resource in the pastoral areas of Ethiopia. Traditional pastoralism, which is both a mode of production and… 
2011
2011
Reformulating Russia: The Cultural and Intellectual Historiography of Russian First-Wave Émigré Writers
Georgii Fedotov’s Saints of Ancient Russia, Georgii Florovskii’s The Ways of Russian Theology, Nikolai Berdiaev’s The Russian… 
2011
2011
Son libres los votantes en Colombia
A fundamental principle of democracy is citizenship freedom. We suggest that a fair electoral contest is possible if a… 
2007
2007
African Studies and Human Security Revisited
Commission on Human Security = 人間の安全保障委員会事務 局訳 (2003)『安全保障の今日的課題―人間の安全保障委員会 報告書』朝日新聞社 . Denett, Daniel C. (1998) Brainchildren… 
2005
2005
Het liefkozen van schone vormen. In: Themanummer Johan Huizinga
2001
2001
Valuing disorder : perspectives on radical contingency in modern society
This thesis explores the relationship between social and individual forms of ordering social life on one hand, and the emergence… 
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
1977
1977
Nephron function of the preserved and transplanted rat kidney : by Bo Johan Norlén
1965
1965
[IN MEMORIAM: JOHAN SCHARFFENBERG].
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)