Science  People  Locations  Timeline
Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > 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.

This article was originally based on material from the Free On-line Dictionary of Computing, which is used under the GFDL.

This article is a stub. You can help Wikipedia by [ ṣlocalurl: : |action=edit}} expanding it].



Read more »

Non User