axiomatisations

Nom commun , féminin , pluriel

Voir les mots dérivés de axiomatisation.

Définition de "axiomatisations"

Aucune définition officielle pour le moment...

Votre définition du mot "axiomatisations" :

Objet * :
Définition * :

Votre pseudo * :
E-mail * : (jamais affiché sur le site)
Site web (nom) :
Site web (url) :

Charte d'engagement : Vous certifiez que votre lettre ne comporte pas de passages à caractères diffamatoires, raciste, pornographiques ou ne respectant pas les lois du pays en vigueur. Vous nous autorisez à publier votre définition sur le site. CocoLeDico.com s'engage à ne fournir votre adresse e-mail à aucun partenaire et ne pas afficher votre adresse-email sur le site.

Recopiez le code * :

Liens externes pour "axiomatisations"

1 - Epi - université paris 1 - groupes - axiomatisations

21 mars 2008. Forme des axiomes de la théorie des groupes en fonction du langage . Deux axiomatisations différentes dans le même langage. ...
http://epi.univ-paris1.fr/1206164252404/0/fiche___actualite/&RH=epi-088-S2TD&RF=epi-088-S2TD

2 - axiomatisations of functional dependencies in the presence of ...

Sven Hartmann , Sebastian Link , Klaus-Dieter Schewe, Erratum to " Axiomatisations of functional dependencies in the presence of records, lists, ...
http://portal.acm.org/citation.cfm?id=1142896

3 - Theoretical computer science : erratum to ?axiomatisations of ...

This note corrects two errors that occurred during the typesetting of our paper ?Axiomatisations of functional dependencies in the presence of records, ...
http://linkinghub.elsevier.com/retrieve/pii/S0304397506003082

4 - axiomatisations of weak equivalences for de simone languages ...

Aceto, Bloom and Vaandrager proposed in ABV a procedure for generating a complete axiomatisation of strong bisimulation for process languages in the GSOS ...
http://citeseer.ist.psu.edu/ulidowski95axiomatisations.html

5 - Games in algebraic logic: axiomatisations and beyond

Games in algebraic logic: axiomatisations and beyond. Robin Hirsch and Ian Hodkinson. Department of Computer Science, University College London, UK ...
http://www.doc.ic.ac.uk/~imh/papers/bonn.pdf

6 - Tel :: [tel-00155225, version 1] axiomatisations et types pour des ...

We consider various strong and weak behavioural equivalences, and we provide complete axiomatisations for finite-state processes, restricted to guarded ...
http://tel.archives-ouvertes.fr/tel-00155225/en/

7 - Complete axiomatisations of properties of finite sets -- Ã…gotnes ...

Apr 16, 2008 ... Complete Axiomatisations of Properties of Finite Sets. Thomas Ã…gotnes. Bergen University College, Norway. E-mail: tag{at}hib.no ...
http://jigpal.oxfordjournals.org/cgi/content/abstract/16/3/293

8 - axiomatisations : définition du mot 'axiomatisations' dans le ...

axiomatisations : la définition de 'axiomatisations' avec Coco le Dico, le dictionnaire français, en ligne gratuit. En savoir plus sur axiomatisations grâce ...
http://www.cocoledico.com/dictionnaire/axiomatisations,23118.xhtml