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
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… 
2012
2012
ENRIQUE LÓPEZ, GANADOR DEL CONCURSO DE TEATRO CRITICÓN
ENRIQUE LOPEZ TERRAZAS FUE EL GANADOR DE LA SEGUNDA EDICION DEL CONCURSO DE ANALISIS TEATRAL CRITICON. PARA QUE EN LUGAR DE… 
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
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… 
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