Observational Equivalence
Two
terms
M
and
N
are
observationally equivalent
if for all contexts
C
[] where
C
M
is a valid term,
C
N
is also a valid term with the same value.
<< Previous
Word Browser
Next >>
accet
ahci
schlaer mellor
edwin sidney savage
i ooa
whiskey class submarine
external total reflection
object oriented sql
object oriented turing
bill heffernan
object value
objectworks
object z
objlog
daisetsuzan national park
extended smtp
louth, new south wales
halfdan ragnarsson
objvlisp
puffinus
vlisp
helena modjeska
le lisp
objvprolog
oblog
dvaita
metro land
ocal
paterson railway station, new south wales
violin sonata no. 8 (beethoven)
national council of negro women
od390
1905 in norwegian football
office workstations limited
gaudiya vaishnavism
quiktran
quikscript
simscript
1906 in norwegian football
bloggernacle
promal
c*
parallel c
dataparallel c
Copyright 2005-2009 OnPedia.com. All Rights Reserved