( en | de | ru )

 

Disambiguierung von "Scollo, Giuseppe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Equational Type Logic.

, , und . Theor. Comput. Sci., 77 (1&2): 131-159 (1990)

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.

Giuseppe Olivato

Giuseppe Veltri

Giuseppe Amato

Giuseppe Valenza

Giuseppe Bosco

 

Weitere Publikationen von Autoren mit dem selben Namen

Specification Architecture., und . Computer Networks and ISDN Systems, 29 (4): 393-395 (1997)On discrete models and immunological algorithms for protein structure prediction., , , , und . Nat. Comput., 10 (1): 91-102 (2011)On the Use of LOTOS for the Formal Description of a Transport Protocol., und . FORTE, Seite 247-261. North-Holland, (1988)Some Topics in the Design of the Specification Language Lotos., , , und . Symposium on Programming, Volume 167 von Lecture Notes in Computer Science, Seite 47-58. Springer, (1984)On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification)., , und . MFCS, Volume 379 von Lecture Notes in Computer Science, Seite 338-349. Springer, (1989)A Relational View of Recurrence and Attractors in State Transition Dynamics., , und . RelMiCS, Volume 4136 von Lecture Notes in Computer Science, Seite 358-372. Springer, (2006)Reducibility and Solvability of Some Classes of Kryuchkov Binary Tree Pairs., und . Electron. J. Comb., (2011)A temporal ordering specification of some session services., , und . Comput. Commun. Rev., 14 (2): 107-114 (1984)Specification and Implementation of the MONDAN System., , , , und . PSTV, Seite 395-422. North-Holland, (1984)Architectural Unit Testing., und . MBT, Volume 111 von Electronic Notes in Theoretical Computer Science, Seite 27-52. Elsevier, (2004)