( en | de | ru )

 

Disambiguierung von "Guessarian, Irène"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Affine Completeness of Some Free Binary Algebras.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Irène Waldspurger

Irène Alexandrescu

Irène Baccelli

Irène Marcovici

Irène Alexandrescu

 

Weitere Publikationen von Autoren mit dem selben Namen

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