( en | de | ru )

 

Disambiguation of "Guessarian, Irène"

Author of the publication

copydeleteadd this publication to your clipboard
Affine Completeness of Some Free Binary Algebras.

, , and . Fundam. Informaticae, 186 (1-4): 27-44 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Irène Waldspurger

Irène Alexandrescu

Irène Baccelli

Irène Marcovici

Irène Alexandrescu

 

Other publications of authors with the same name

Fixpoint strategies for deductive databases.. Bulletin of the EATCS, (1988)About Boundedness for some DATALOG and DATALOG_neg Programs., and . MFCS, volume 629 of Lecture Notes in Computer Science, page 284-297. Springer, (1992)Affine completeness of some free binary algebras., , and . CoRR, (2021)Characterizing Congruence Preserving Functions Z/nZ → Z/mZ Via Rational Polynomials., , and . Integers, (2016)Fairness and Regularity for Sccs Processes., and . RAIRO Theor. Informatics Appl., 23 (1): 59-86 (1989)LITP: Laboratoire D'Informatique theorique et programmation Paris Presentation of scientific activity., and . SIGACT News, 20 (4): 50-53 (1989)Normalization of Some Extended Abstract State Machines., and . Fields of Logic and Computation, volume 6300 of Lecture Notes in Computer Science, page 165-180. Springer, (2010)A characterization of fair computations of finite state SCCS processes.. Formal Properties of Finite Automata and Applications, volume 386 of Lecture Notes in Computer Science, page 234-248. Springer, (1988)A Unifying Theorem for Algebraic Semantics and Dynamic Logics, , and . Inf. Comput., 72 (1): 31-45 (January 1987)On the Axiomatization of "If-Then-Else"., and . SIAM J. Comput., 16 (2): 332-357 (1987)