Results 271 to 280 of about 5,869 (280)

Realizability With a Local Operator of A.M. Pitts

Theoretical Computer Science, 2014
Jaap van Oosten
exaly  

Realization Problem

1987
openaire   +1 more source

On Nonnegative Realizations

2004
Karl-Heinz Förster, Béla Nagy
openaire   +1 more source

TEXT REALIZATION

2016
COHEN MILES, HODSDON ANTHONY JOHN ROLLS
openaire   +2 more sources

Realizing Wisdom

Science of Aging Knowledge Environment, 2001
openaire   +2 more sources

Correlates, realizers and multiple realization

2010
openaire   +1 more source

Realizability for the Reynolds Stress in Nonlinear Eddy-Viscosity Model of Turbulence

Journal of the Physical Society of Japan, 2001
exaly  

On Hyperarithmetical Realizability

Mathematical Notes, 2015
exaly  

Linear Realizability

2007
openaire   +2 more sources

Realizability Toposes From Specifications

exaly