Guessarian, Irène 1948-...
Guessarian, Irène
Irène Guessarian
VIAF ID: 109539033 ( Personal )
Permalink: http://viaf.org/viaf/109539033
Preferred Forms
- 200 _ | ‡a Guessarian ‡b Irène
- 100 1 0 ‡a Guessarian, Irène, ‡d 1948-
-
-
-
-
- 100 1 _ ‡a Guessarian, Irène, ‡d 1948-....
-
- 100 1 _ ‡a Guessarian, Irène
-
-
- 100 1 _ ‡a Guessarian, Irène ‡d 1948-...
- 100 0 _ ‡a Irène Guessarian
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Algebraic semantics | |
CONSTRAINED TRANSFORMATION OF LOGICAL PROGRAMS. | |
Contributions à la sémantique de la programmation logique | |
EQUITES ET AUTOMATES EN SCCS | |
FAIRNESS AND AUTOMATA IN SCCS. | |
Langages ε-sûrs et caractérisations des langages d'ordres supérieurs | |
Mathematics for computer science | |
Mathématiques pour l'informatique | |
On the axiomatization of "if-then-else" | |
Optimisation des Mises à Jour XML en mémoire : algorithmes et expérimentations. | |
Polynômes non commutatifs | |
LES RESEAUX FORK-JOIN SYNCHRONES : SEMANTIQUES ET EQUITES | |
Schémas de programme récursifs polyadiques : équivalences sémantiques et classes d'interprétations | |
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings | |
VERIFICATION DES CONTRAINTES D'INTEGRITES DANS LES BASES DE DONNEES RELATIONNELLES ET DEDUCTIVES | |
Е-safe languages and characterizations of higher order languages. |