W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2009

Re: [Core][PRD] Definition of safeness

From: Christian De Sainte Marie <csma@fr.ibm.com>
Date: Mon, 15 Jun 2009 16:54:08 +0200
To: Christian De Sainte Marie <csma@fr.ibm.com>
Cc: Jos de Bruijn <debruijn@inf.unibz.it>, RIF <public-rif-wg@w3.org>
Message-ID: <OFB8AA2783.270F8670-ONC12575D6.0051A4AB-C12575D6.0051DCB1@fr.ibm.com>
csma wrote on 15/06/2009 16:40:27:
> 
> > - what is an equality formula involving two variables? is ?x=f(?y) 
one?
> > This needs to be clarified. 
> 
> Clarified to "an equality where the terms on both sides are variables". 

Thinking of it, "an equality where both terms are variables" is even 
better, isn't it?

Christian


ILOG, an IBM Company
9 rue de Verdun
94253 - Gentilly cedex - FRANCE
Tel. +33 1 49 08 35 00
Fax +33 1 49 08 35 10



Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 
Courbevoie
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 609.751.783,30 ?
SIREN/SIRET : 552 118 465 02430
Received on Monday, 15 June 2009 14:54:48 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 15 June 2009 14:54:48 GMT