Suchergebnisse - GOGUEN HEALFDENE H

1

Component coordination: a telecommunication case study von Zave, Pamela, Goguen, Healfdene H., Smith, Thomas M.

Veröffentlicht in Computer networks (Amsterdam, Netherlands : 1999)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Experience with component-based development of a telecommunication service von Bond, Gregory W., Cheung, Eric, Goguen, Healfdene H., Hanson, Karrie J., Henderson, Don, Karam, Gerald M., Purdy, K. Hal, Smith, Thomas M., Zave, Pamela

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Enhanced call notification service von Hanson, Karrie J, Karam, Gerald M, Bond, Gregory W, Goguen, Healfdene H, Henderson, Donnie, Zave, Pamela

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Enhanced call notification service von HANSON KARRIE J, ZAVE PAMELA, KARAM GERALD M, GOGUEN HEALFDENE H, HENDERSON DONNIE, BOND GREGORY W

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

ENHANCED CALL FEATURE SERVICE von CHEUNG, ERIC, GOGUEN, HEALFDENE H, PURDY, KERMIT HAL, KARAM, GERALD, HANSON, KARRIE J

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Enhanced call feature service von Hanson, Karrie J, Karam, Gerald M, Cheung, Eric, Goguen, Healfdene H, Purdy, Kermit Hal

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Enhanced call feature service von HANSON KARRIE J, PURDY KERMIT HAL, CHEUNG ERIC, KARAM GERALD M, GOGUEN HEALFDENE H

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Enhanced call feature service von HANSON KARRIE J, PURDY KERMIT HAL, CHEUNG ERIC, KARAM GERALD M, GOGUEN HEALFDENE H

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Enhanced call notification service von BOND, GREGORY W, GOGUEN, HEALFDENE H, ZAVE, PAMELA, HANSON, KARRIE J, KARAM, GERALD M, HENDERSON, DONNIE

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Management of incoming calls von CHEUNG, ERIC, GOGUEN, HEALFDENE H, PURDY, KERMIT HAL, KARAM, GERALD, HANSON, KARRIE J

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

ENHANCED CALL FEATURE SERVICE von CHEUNG, ERIC, GOGUEN, HEALFDENE H, PURDY, KERMIT HAL, KARAM, GERALD, HANSON, KARRIE J

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Enhanced call notification service von HANSON KARRIE J, ZAVE PAMELA, KARAM GERALD M, GOGUEN HEALFDENE H, HENDERSON DONNIE, BOND GREGORY W

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

ENHANCED CALL NOTIFICATION SERVICE von BOND, GREGORY W, GOGUEN, HEALFDENE H, ZAVE, PAMELA, HANSON, KARRIE J, KARAM, GERALD M, HENDERSON, DONNIE

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

A Few Constructions on Constructors von McBride, Conor, Goguen, Healfdene, McKinna, James

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Typed operational semantics for higher-order subtyping von Compagnoni, Adriana, Goguen, Healfdene

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Anti-symmetry of higher-order subtyping and equality by subtyping von COMPAGNONI, ADRIANA, GOGUEN, HEALFDENE

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Soundness of the Logical Framework for its typed operational semantics von GOGUEN, H

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Anti-symmetry of higher-order subtyping von COMPAGNONI, A, GOGUEN, H

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

A syntactic approach to eta equality in type theory von Goguen, Healfdene

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Component coordination: a telecommunication case study von Zave, Pamela, Goguen, Healfdene H., Smith, Thomas M.

Experience with component-based development of a telecommunication service von Bond, Gregory W., Cheung, Eric, Goguen, Healfdene H., Hanson, Karrie J., Henderson, Don, Karam, Gerald M., Purdy, K. Hal, Smith, Thomas M., Zave, Pamela

Enhanced call notification service von Hanson, Karrie J, Karam, Gerald M, Bond, Gregory W, Goguen, Healfdene H, Henderson, Donnie, Zave, Pamela

Enhanced call notification service von HANSON KARRIE J, ZAVE PAMELA, KARAM GERALD M, GOGUEN HEALFDENE H, HENDERSON DONNIE, BOND GREGORY W

ENHANCED CALL FEATURE SERVICE von CHEUNG, ERIC, GOGUEN, HEALFDENE H, PURDY, KERMIT HAL, KARAM, GERALD, HANSON, KARRIE J

Enhanced call feature service von Hanson, Karrie J, Karam, Gerald M, Cheung, Eric, Goguen, Healfdene H, Purdy, Kermit Hal

Enhanced call feature service von HANSON KARRIE J, PURDY KERMIT HAL, CHEUNG ERIC, KARAM GERALD M, GOGUEN HEALFDENE H

Enhanced call feature service von HANSON KARRIE J, PURDY KERMIT HAL, CHEUNG ERIC, KARAM GERALD M, GOGUEN HEALFDENE H

Enhanced call notification service von BOND, GREGORY W, GOGUEN, HEALFDENE H, ZAVE, PAMELA, HANSON, KARRIE J, KARAM, GERALD M, HENDERSON, DONNIE

Management of incoming calls von CHEUNG, ERIC, GOGUEN, HEALFDENE H, PURDY, KERMIT HAL, KARAM, GERALD, HANSON, KARRIE J

ENHANCED CALL FEATURE SERVICE von CHEUNG, ERIC, GOGUEN, HEALFDENE H, PURDY, KERMIT HAL, KARAM, GERALD, HANSON, KARRIE J

Enhanced call notification service von HANSON KARRIE J, ZAVE PAMELA, KARAM GERALD M, GOGUEN HEALFDENE H, HENDERSON DONNIE, BOND GREGORY W

ENHANCED CALL NOTIFICATION SERVICE von BOND, GREGORY W, GOGUEN, HEALFDENE H, ZAVE, PAMELA, HANSON, KARRIE J, KARAM, GERALD M, HENDERSON, DONNIE

A Few Constructions on Constructors von McBride, Conor, Goguen, Healfdene, McKinna, James

Typed operational semantics for higher-order subtyping von Compagnoni, Adriana, Goguen, Healfdene

Anti-symmetry of higher-order subtyping and equality by subtyping von COMPAGNONI, ADRIANA, GOGUEN, HEALFDENE

Soundness of the Logical Framework for its typed operational semantics von GOGUEN, H

Anti-symmetry of higher-order subtyping von COMPAGNONI, A, GOGUEN, H

A syntactic approach to eta equality in type theory von Goguen, Healfdene

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle