observational equivalence
Two terms M and N are observationall Y equivalent iff for all contexts C[] where C[M] is a valid term, C[N] is also a valid term with the same value. Yle="border-width:thin; border-color:#333333; border-stYle:dashed; padding:5px;" align="left">In addition suitable contents: [ al ] [ am ] [ an ] [ ar ] [ at ] [ b ] [ bs ] [ C ] [ co ] [ con ] [ context ] [ er ] [ fo ] [ for ] [ h ] [ id ] [ iff ] [ io ] [ is ] [ it ] [ li ] [ ls ] [ lu ] [ lY ] [ M ] [ ms ] [ N ] [ na ] [ re ] [ sa ] [ sam ] [ se ] [ so ] [ T ] [ text ] [ th ] [ va ] [ value ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (1395 Reads) |