Suchergebnisse - Ueda, Kazunori
- Treffer 1 – 20 von 21
- Zur nächsten Seite
-
1GHC-A, language for a new age of parallel programmingVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Parallelism in logic programmingVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3A GHC language processor in Prolog and GHC sample programs for benchmarkingVeröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Making exhaustive search programs deterministicBand 2von Ueda, KazunoriVeröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Guarded Horn clauses: a parallel logic programming language with the concept of a guardVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6On the operational semantics of Guarded Horn ClausesVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7A new implementation technique for Flat GHCVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Optimization of GHC programsVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Concurrent Prolog re-examinedVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10On the operational semantics of Guarded Horn Clauses: (preliminary draft)Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Efficient stream array processing in logic programming languageVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12Message-oriented parallel implementation of model Flat GHCVeröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13Designing a concurrent programming languageVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14Design of the Kernel language for the parallel inference machineVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15Parallelism in logic programmingVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Formal semantics of Flat GHCVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17Introduction to guarded Horn clausesVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18Guarded Horn clausesVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19GHC process fusion by program transformationVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20Concurrent Prolog compiler on top of PrologVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …