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.
2017
2017
Lisbonne / Johan Ricou
2014
2014
インタビュー Johan Auwerx
2013
2013
ASC: het nieuwe keurmerk voor duurzaam gekweekte vis.
“Kweekvis is belangrijk voor de toekomst.” “In ons land wordt voornamelijk meerval en paling gekweekt. Daarnaast wat tarbot… 
2007
2007
Plangebied Johan Speelmanweg 7 : gemeente Teylingen : archeologisch vooronderzoek: een bureau- en inventariserend veldonderzoek : RAAP-notitie, ISSN 0925-6369 2250
2007
2007
‘Polak, Johan Bertus Wouter’
2005
2005
Het liefkozen van schone vormen. In: Themanummer Johan Huizinga
1999
1999
Structured Derivations: A Method for Doing High-School Mathematics Carefully
We show how solutions to typical problems of High School and first-year University Mathematics can be written using structured… 
1998
1998
"Micer Johan Bocaci" i Mossèn Joanot Martorell: presències del Decameron i de la Fiammeta al Tirant lo Blanc
1977
1977
Nephron function of the preserved and transplanted rat kidney : by Bo Johan Norlén
1947
1947
Breve fra Johan Nordahl Brun