( en | de | ru )

 

Disambiguierung von "Guessarian, Irène"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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

About Boundedness for some DATALOG and DATALOG_neg Programs., und . MFCS, Volume 629 von Lecture Notes in Computer Science, Seite 284-297. Springer, (1992)Fairness and Regularity for Sccs Processes., und . RAIRO Theor. Informatics Appl., 23 (1): 59-86 (1989)Characterizing Congruence Preserving Functions Z/nZ → Z/mZ Via Rational Polynomials., , und . Integers, (2016)Affine completeness of some free binary algebras., , und . CoRR, (2021)Fixpoint strategies for deductive databases.. Bulletin of the EATCS, (1988)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)A Unifying Theorem for Algebraic Semantics and Dynamic Logics, , und . Inf. Comput., 72 (1): 31-45 (Januar 1987)On the Axiomatization of "If-Then-Else"., und . SIAM J. Comput., 16 (2): 332-357 (1987)