MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Power Domains." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

468 documents found, showing 1 through 10. Next 10 →

ATOM

Power Domain Constructions
by Reinhold Heckmann, Bundesrepublik Deutschland — 1998 — Science of Computer Programming
…Power Domain Constructions Reinhold Heckmann FB 14 -- Informatik Universitat des Saarlandes D-6600…
Cited by 22 (9 self) – Add To MetaCart

Power Domains and Second Order Predicates
by Reinhold Heckmann, Bundesrepublik Deutschland — 1993 — Theoretical Computer Science
…Power Domains and Second Order Predicates Reinhold Heckmann FB 14 -- Informatik Universitat des…
Cited by 12 (7 self) – Add To MetaCart

Observable Modules and Power Domain Constructions
by Reinhold Heckmann — 1993 — Semantics of Programming Languages and Model Theory, volume 5 of Algebra, Logic, and Applications
…Observable Modules and Power Domain Constructions Reinhold Heckmann FB 14 -- Informatik Universitat…
Cited by 4 (1 self) – Add To MetaCart

Power Domains Supporting Recursion and Failure
by Reinhold Heckmann, Bundesrepublik Deutschland — 1998 — In CAAP'92
…Power Domains Supporting Recursion and Failure Reinhold Heckmann FB 14 -- Informatik Universitat…
Cited by 3 (1 self) – Add To MetaCart

Power Domains and Iterated Function Systems
by Abbas Edalat — 1996 — Information and computation
…Power Domains and Iterated Function Systems Abbas Edalat Department of Computing Imperial…
Cited by 27 (10 self) – Add To MetaCart

Probabilistic Power Domains, Information Systems, and Locales
by Reinhold Heckmann — 1994 — Mathematical Foundations of Programming Semantics VIII, volume 802 of Lecture Notes in Computer Science
…Probabilistic Power Domains, Information Systems, and Locales Reinhold Heckmann FB 14…
Cited by 3 (1 self) – Add To MetaCart

On the power of domain-specific hypertext environments
by Walt Scacchi, Salah Bendifallah, Sean Burke, Joe Chen, Song Choi, George Drapeau, David Faucette, Abdulaziz Jazzar, Peiwei Mi — 1989 — Journal of the American Society for Information Science
…On the Power of Domain-Specific Hypertext Environments 1 Walt Scacchi ATRIUM Laboratory…
Cited by 8 (3 self) – Add To MetaCart

Optimisation and Implementation of the Arctan Function for the Power Domain
by A. Th. Schwarzbacher, A. Brasching, Th. H. Wahl, P.A. Comiskey, J. B. Foley — 1999 — Electronic Circuits and Systems Conference
…Optimisation and Implementation of the Arctan Function for the Power Domain A.Th. Schwarzbacher 2…
Cited by 2 (2 self) – Add To MetaCart

Lower and Upper Power Domain Constructions Commute on all Cpos
by Reinhold Heckmann, Bundesrepublik Deutschland — 1998 — Information Processing Letters 40
…Lower and Upper Power Domain Constructions Commute on all Cpos Reinhold Heckmann FB 14…
Cited by 5 (1 self) – Add To MetaCart

An Upper Power Domain Construction in terms of Strongly Compact Sets
by Reinhold Heckmann, Bundesrepublik Deutschland — 1998 — MFPS '91. Lecture Notes in Computer Science
…An Upper Power Domain Construction in terms of Strongly Compact Sets Reinhold Heckmann FB 14…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB