Autor der Publikation

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)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Affine completeness of some free binary algebras., , und . CoRR, (2021)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)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)About Boundedness for some DATALOG and DATALOG_neg Programs., und . MFCS, Volume 629 von Lecture Notes in Computer Science, Seite 284-297. Springer, (1992)On the Axiomatization of "If-Then-Else"., und . SIAM J. Comput., 16 (2): 332-357 (1987)Improving Fixpoint Toole for Computer Science.. IFIP Congress, Seite 1109-1114. North-Holland/IFIP, (1989)The algebra of binary trees is affine complete., , , und . CoRR, (2020)Window-Accumulated Subsequence Matching Problem is Linear., , , und . PODS, Seite 327-336. ACM Press, (1999)Correctness of Basic Systolic Systems Transformations., und . IFIP Congress (1), Volume A-51 von IFIP Transactions, Seite 315-321. North-Holland, (1994)The Expressiveness of Datalog Circuits (DAC)., , und . MFCS, Volume 1295 von Lecture Notes in Computer Science, Seite 119-128. Springer, (1997)