Domain theory and integration
We present a domain-theoretic framework for measure theory and integration of bounded real-valued functions with respect to bounded Borel measures on compact metric spaces. The set of normalised Borel measures of the metric space can be embedded into the maximal elements of the normalised probabilis...
Gespeichert in:
| Veröffentlicht in: | Theoretical computer science Jg. 151; H. 1; S. 163 - 193 |
|---|---|
| 1. Verfasser: | |
| Format: | Journal Article Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam
Elsevier B.V
13.11.1995
Elsevier |
| Schlagworte: | |
| ISSN: | 0304-3975, 1879-2294 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | We present a domain-theoretic framework for measure theory and integration of bounded real-valued functions with respect to bounded Borel measures on compact metric spaces. The set of normalised Borel measures of the metric space can be embedded into the maximal elements of the normalised probabilistic power domain of its upper space. Any bounded Borel measure on the compact metric space can then be obtained as the least upper bound of an ω-chain of linear combinations of point valuations (simple valuations) on the upper space, thus providing a constructive framework for these measures. We use this setting to define a new notion of integral of a bounded real-valued function with respect to a bounded Borel measure on a compact metric space. By using an ω-chain of simple valuations, whose lub is the given Borel measure, we can then obtain increasingly better approximations to the value of the integral, similar to the way the Riemann integral is obtained in calculus by using step functions. We show that all the basic results in the theory of Riemann integration can be extended in this more general setting. Furthermore, with this new notion of integration, the value of the integral, when it exists, coincides with the Lebesgue integral of the function. An immediate area for application is in the theory of iterated function systems with probabilities on compact metric spaces, where we obtain a simple approximating sequence for the integral of a real-valued almost everywhere continuous function with respect to the invariant measure. |
|---|---|
| AbstractList | We present a domain-theoretic framework for measure theory and integration of bounded real-valued functions with respect to bounded Borel measures on compact metric spaces. The set of normalised Borel measures of the metric space can be embedded into the maximal elements of the normalised probabilistic power domain of its upper space. Any bounded Borel measure on the compact metric space can then be obtained as the least upper bound of an ω-chain of linear combinations of point valuations (simple valuations) on the upper space, thus providing a constructive framework for these measures. We use this setting to define a new notion of integral of a bounded real-valued function with respect to a bounded Borel measure on a compact metric space. By using an ω-chain of simple valuations, whose lub is the given Borel measure, we can then obtain increasingly better approximations to the value of the integral, similar to the way the Riemann integral is obtained in calculus by using step functions. We show that all the basic results in the theory of Riemann integration can be extended in this more general setting. Furthermore, with this new notion of integration, the value of the integral, when it exists, coincides with the Lebesgue integral of the function. An immediate area for application is in the theory of iterated function systems with probabilities on compact metric spaces, where we obtain a simple approximating sequence for the integral of a real-valued almost everywhere continuous function with respect to the invariant measure. |
| Author | Edalat, Abbas |
| Author_xml | – sequence: 1 givenname: Abbas surname: Edalat fullname: Edalat, Abbas email: ae@doc.ic.ac.uk organization: Department of Computing, Imperial College of Science, Technology and Medicine, University of London, 180 Queen's Gate, London SW7 2BZ, UK |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=2971062$$DView record in Pascal Francis |
| BookMark | eNqFkE1LAzEURYMo2Fb_gUIXLnQx-pJMkokLQeonFNzoOqTJG420mZIEof_eTqsuXOjqbc65vHuHZDd2EQk5onBOgcoL4FBXXCtxqsUZAAio1A4Z0EbpijFd75LBD7JPhjm_Q08pOSDHN93Chjgub9il1dhGPw6x4GuyJXTxgOy1dp7x8OuOyMvd7fPkoZo-3T9OrqeV45yXyjPh2kY6tFpygco6rxtsaC2YRYTGciVnUgjVoNdeKmhntQUuNHO1mnHkI3KyzV3a7Oy8TTa6kM0yhYVNK8O0oiDZGrvcYi51OSdsjQtl82hJNswNBdPvYfqypi9rtDCbPYxay_Uv-Tv-H-1qq-G6_0fAZLILGB36kNAV47vwd8AnFtV3XQ |
| CODEN | TCSCDI |
| CitedBy_id | crossref_primary_10_1016_j_entcs_2014_10_010 crossref_primary_10_1017_S0960129509990363 crossref_primary_10_1016_S0304_3975_00_00208_5 crossref_primary_10_1016_S0166_8641_97_00227_7 crossref_primary_10_1016_S1571_0661_05_80216_6 crossref_primary_10_1006_inco_1999_2844 crossref_primary_10_1016_S1571_0661_05_80210_5 crossref_primary_10_1016_j_tcs_2012_06_027 crossref_primary_10_1016_S0304_3975_02_00696_5 crossref_primary_10_1017_S0960129515000547 crossref_primary_10_2168_LMCS_7_4_1_2011 crossref_primary_10_1016_j_ic_2008_05_003 crossref_primary_10_1017_S0960129510000447 crossref_primary_10_1016_S0304_3975_99_00035_3 crossref_primary_10_1016_S0304_3975_98_00097_8 crossref_primary_10_1016_S0304_3975_96_00243_5 crossref_primary_10_1016_j_entcs_2009_01_002 crossref_primary_10_1016_S0304_3975_03_00404_3 crossref_primary_10_1016_S0166_8641_01_00249_8 crossref_primary_10_1016_j_jlamp_2016_11_006 crossref_primary_10_1016_0304_3975_95_00250_2 crossref_primary_10_1016_S0304_3975_98_00297_7 crossref_primary_10_1016_S0166_8641_97_00225_3 crossref_primary_10_1016_j_entcs_2008_03_013 crossref_primary_10_2307_421098 crossref_primary_10_1016_j_jlamp_2014_11_001 crossref_primary_10_1016_j_topol_2021_107673 crossref_primary_10_1216_rmjm_1181069633 crossref_primary_10_1016_S1571_0661_05_82521_6 crossref_primary_10_1007_s00153_005_0315_x crossref_primary_10_1016_j_tcs_2017_07_016 crossref_primary_10_1016_S1571_0661_03_50013_5 crossref_primary_10_1016_S1571_0661_05_80211_7 crossref_primary_10_1016_j_tcs_2006_01_015 crossref_primary_10_1016_S1571_0661_04_80075_6 crossref_primary_10_1016_S1571_0661_04_80085_9 crossref_primary_10_1016_j_tcs_2014_11_003 crossref_primary_10_2168_LMCS_8_1_14_2012 crossref_primary_10_1016_S1571_0661_05_80164_1 crossref_primary_10_1111_j_1749_6632_1996_tb49168_x crossref_primary_10_1016_S0304_3975_96_00152_1 crossref_primary_10_1088_0305_4470_34_1_301 crossref_primary_10_1016_S1571_0661_04_80389_X crossref_primary_10_1016_S0890_5401_03_00051_8 crossref_primary_10_1145_3481805 crossref_primary_10_1016_j_topol_2010_03_003 crossref_primary_10_1017_S0960129510000010 crossref_primary_10_1016_j_entcs_2015_12_015 crossref_primary_10_1016_j_tcs_2008_06_022 crossref_primary_10_1016_S0166_8641_97_00152_1 crossref_primary_10_1016_S0166_8641_02_00147_5 crossref_primary_10_1016_S1571_0661_05_80223_3 crossref_primary_10_1016_S0304_3975_02_00698_9 crossref_primary_10_1016_S0304_3975_99_00045_6 crossref_primary_10_1016_S0304_3975_00_00096_7 crossref_primary_10_1016_S0304_3975_98_00296_5 crossref_primary_10_1017_S0960129508007093 crossref_primary_10_1017_S0960129509007671 crossref_primary_10_1080_03081079_2023_2272036 crossref_primary_10_1016_S0166_8641_97_00222_8 crossref_primary_10_1016_S0304_3975_98_00298_9 |
| Cites_doi | 10.1016/0167-2789(93)90133-L 10.1017/S0143385700004168 10.1088/0305-4470/21/9/028 10.1016/0304-3975(80)90003-1 10.1512/iumj.1981.30.30055 10.1088/0022-3719/17/24/004 |
| ContentType | Journal Article Conference Proceeding |
| Copyright | 1995 1996 INIST-CNRS |
| Copyright_xml | – notice: 1995 – notice: 1996 INIST-CNRS |
| DBID | 6I. AAFTH AAYXX CITATION IQODW |
| DOI | 10.1016/0304-3975(95)00050-7 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Pascal-Francis |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science |
| EISSN | 1879-2294 |
| EndPage | 193 |
| ExternalDocumentID | 2971062 10_1016_0304_3975_95_00050_7 0304397595000507 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 29Q 4.4 457 4G. 5VS 6I. 7-5 71M 8P~ 9JN AABNK AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABAOU ABBOA ABEFU ABFNM ABJNI ABMAC ABTAH ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADMUD AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q G8K GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG9 M26 M41 MHUIS MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SCC SDF SDG SES SEW SPC SPCBC SSV SSW SSZ T5K TAE TN5 WH7 WUQ XJT YNT ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD AFXIZ AGCQF AGRNS BNPGV IQODW SSH |
| ID | FETCH-LOGICAL-c333t-d25cf86cea9635e7acd98e81452aee08a376b65578ed9d670fb4a03592c47b3e3 |
| ISICitedReferencesCount | 82 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=0304397595000507&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0304-3975 |
| IngestDate | Mon Jul 21 09:14:02 EDT 2025 Tue Nov 18 22:22:53 EST 2025 Sat Nov 29 06:16:33 EST 2025 Fri Feb 23 02:21:01 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Measure theory Integration Constructive theory Fractal Metric space Compact space Real function Domain theory Bounded function |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 CC BY 4.0 |
| LinkModel | OpenURL |
| MeetingName | Workshop on topology and completion in semantics |
| MergedId | FETCHMERGED-LOGICAL-c333t-d25cf86cea9635e7acd98e81452aee08a376b65578ed9d670fb4a03592c47b3e3 |
| OpenAccessLink | https://dx.doi.org/10.1016/0304-3975(95)00050-7 |
| PageCount | 31 |
| ParticipantIDs | pascalfrancis_primary_2971062 crossref_citationtrail_10_1016_0304_3975_95_00050_7 crossref_primary_10_1016_0304_3975_95_00050_7 elsevier_sciencedirect_doi_10_1016_0304_3975_95_00050_7 |
| PublicationCentury | 1900 |
| PublicationDate | 1995-11-13 |
| PublicationDateYYYYMMDD | 1995-11-13 |
| PublicationDate_xml | – month: 11 year: 1995 text: 1995-11-13 day: 13 |
| PublicationDecade | 1990 |
| PublicationPlace | Amsterdam |
| PublicationPlace_xml | – name: Amsterdam |
| PublicationTitle | Theoretical computer science |
| PublicationYear | 1995 |
| Publisher | Elsevier B.V Elsevier |
| Publisher_xml | – name: Elsevier B.V – name: Elsevier |
| References | Elton (BIB12) 1987; 7 Apostol (BIB2) 1974 Barnsley (BIB3) 1988 Lawson (BIB21) 1982; Vol. 27 Saheb-Djahromi (BIB24) 1980; 12 Edalat (BIB11) 1994 Gierz, Hofmann, Keimel, Lawson, Mislove, Scott (BIB13) 1980 Edalat (BIB9) 1993 Lang (BIB20) 1969 Jones (BIB16) 1989 Jones, Plotkin (BIB17) 1989 McShane (BIB22) 1969; 88 Abramsky, Jung (BIB1) 1994; Vol. 3 Jung (BIB18) 1989; Vol. 66 Birkhoff (BIB7) 1967 Behn, van Hemmen, Lange, Kühn, Zagrebnov (BIB5) 1993; 68 Hutchinson (BIB15) 1981; 30 Behn, Zagrebnov (BIB6) 1998; 21 Barnsley, Hurd (BIB4) 1993 Kirch (BIB19) 1993 Rudin (BIB23) 1966 Bressloff, Stark (BIB8) 1991 Edalat (BIB10) 1994 Györgyi, Ruján (BIB14) 1984; 17 Smyth (BIB25) 1983; Vol. 154 Jung (10.1016/0304-3975(95)00050-7_BIB18) 1989; Vol. 66 Kirch (10.1016/0304-3975(95)00050-7_BIB19) 1993 Lang (10.1016/0304-3975(95)00050-7_BIB20) 1969 Apostol (10.1016/0304-3975(95)00050-7_BIB2) 1974 Jones (10.1016/0304-3975(95)00050-7_BIB17) 1989 McShane (10.1016/0304-3975(95)00050-7_BIB22) 1969; 88 Hutchinson (10.1016/0304-3975(95)00050-7_BIB15) 1981; 30 Barnsley (10.1016/0304-3975(95)00050-7_BIB4) 1993 Edalat (10.1016/0304-3975(95)00050-7_BIB10) 1994 Edalat (10.1016/0304-3975(95)00050-7_BIB9) 1993 Gierz (10.1016/0304-3975(95)00050-7_BIB13) 1980 Rudin (10.1016/0304-3975(95)00050-7_BIB23) 1966 Smyth (10.1016/0304-3975(95)00050-7_BIB25) 1983; Vol. 154 Györgyi (10.1016/0304-3975(95)00050-7_BIB14) 1984; 17 Birkhoff (10.1016/0304-3975(95)00050-7_BIB7) 1967 Elton (10.1016/0304-3975(95)00050-7_BIB12) 1987; 7 Edalat (10.1016/0304-3975(95)00050-7_BIB11) 1994 Jones (10.1016/0304-3975(95)00050-7_BIB16) 1989 Behn (10.1016/0304-3975(95)00050-7_BIB6) 1998; 21 Barnsley (10.1016/0304-3975(95)00050-7_BIB3) 1988 Abramsky (10.1016/0304-3975(95)00050-7_BIB1) 1994; Vol. 3 Saheb-Djahromi (10.1016/0304-3975(95)00050-7_BIB24) 1980; 12 Lawson (10.1016/0304-3975(95)00050-7_BIB21) 1982; Vol. 27 Bressloff (10.1016/0304-3975(95)00050-7_BIB8) 1991 Behn (10.1016/0304-3975(95)00050-7_BIB5) 1993; 68 |
| References_xml | – year: 1994 ident: BIB11 article-title: Power domains and iterated function systems publication-title: Technical Report Doc 94/13 – volume: 21 start-page: 2151 year: 1998 end-page: 2165 ident: BIB6 article-title: One dimensional Markovian-field Ising model: physical properties and characteristics of the discrete stochastic mapping publication-title: J. Phys. A: Math. Gen. – volume: 30 start-page: 713 year: 1981 end-page: 747 ident: BIB15 article-title: Fractals and self-similarity publication-title: Indiana Univ. Math. J. – year: 1993 ident: BIB19 article-title: Bereiche und bewertungen publication-title: Master's Thesis – volume: Vol. 3 year: 1994 ident: BIB1 article-title: Domain theory publication-title: Handbook of Logic in Computer Science – year: 1993 ident: BIB4 article-title: Fractal Image Compression – start-page: 186 year: 1989 end-page: 195 ident: BIB17 article-title: A probabilistic powerdomain of evaluations publication-title: Logic in Computer Science – year: 1974 ident: BIB2 article-title: Mathematical Analysis – start-page: 145 year: 1991 end-page: 164 ident: BIB8 article-title: Neural networks, learning automata and iterated function systems publication-title: Fractals and Chaos – year: 1966 ident: BIB23 article-title: Real and Complex Analysis – volume: Vol. 27 year: 1982 ident: BIB21 article-title: Valuations on continuous lattices publication-title: Continuous Lattices and Related Topics – year: 1967 ident: BIB7 article-title: Lattice Theory – volume: 68 start-page: 401 year: 1993 end-page: 415 ident: BIB5 article-title: Multifractality in forgetful memories publication-title: Physica D – year: 1994 ident: BIB10 article-title: Domain of computation of a random field in statistical physics publication-title: Proc. 2nd Imperial College, Department of Computing, Theory and Formal Methods Workshop – volume: 88 year: 1969 ident: BIB22 article-title: A Riemann-type integral that includes Lebesgue-Stieltjes, Bochner and stochastic integrals publication-title: Mem. Amer. Math. Soc. – volume: Vol. 66 year: 1989 ident: BIB18 article-title: Cartesian Closed Categories of Domains publication-title: CWI Tract. – volume: Vol. 154 start-page: 662 year: 1983 end-page: 675 ident: BIB25 article-title: Powerdomains and predicate transformers: a topological view publication-title: Automata, Languages and Programming – volume: 7 start-page: 481 year: 1987 end-page: 487 ident: BIB12 article-title: An ergodic theorem for iterated maps publication-title: Ergodic Theory Dynamical Systems – year: 1988 ident: BIB3 article-title: Fractals Everywhere – year: 1993 ident: BIB9 article-title: Dynamical systems, measures and fractals via domain theory (extended abstract) publication-title: Theory and Formal Methods 1993 – year: 1980 ident: BIB13 article-title: A Compendium of Continuous Lattices – volume: 17 start-page: 4207 year: 1984 end-page: 4212 ident: BIB14 article-title: Strange attractors in disordered systems publication-title: J. Phys. C: Solid State Phys. – year: 1969 ident: BIB20 article-title: Real Analysis – year: 1989 ident: BIB16 article-title: Probabilistic non-determinism publication-title: Ph.D. Thesis – volume: 12 start-page: 19 year: 1980 end-page: 37 ident: BIB24 article-title: Cpo's of measures for non-determinism publication-title: Theoret. Comput. Sci. – year: 1993 ident: 10.1016/0304-3975(95)00050-7_BIB4 – year: 1993 ident: 10.1016/0304-3975(95)00050-7_BIB9 article-title: Dynamical systems, measures and fractals via domain theory (extended abstract) – year: 1989 ident: 10.1016/0304-3975(95)00050-7_BIB16 article-title: Probabilistic non-determinism – volume: Vol. 66 year: 1989 ident: 10.1016/0304-3975(95)00050-7_BIB18 article-title: Cartesian Closed Categories of Domains – volume: 88 year: 1969 ident: 10.1016/0304-3975(95)00050-7_BIB22 article-title: A Riemann-type integral that includes Lebesgue-Stieltjes, Bochner and stochastic integrals publication-title: Mem. Amer. Math. Soc. – volume: 68 start-page: 401 year: 1993 ident: 10.1016/0304-3975(95)00050-7_BIB5 article-title: Multifractality in forgetful memories publication-title: Physica D doi: 10.1016/0167-2789(93)90133-L – volume: Vol. 154 start-page: 662 year: 1983 ident: 10.1016/0304-3975(95)00050-7_BIB25 article-title: Powerdomains and predicate transformers: a topological view – year: 1967 ident: 10.1016/0304-3975(95)00050-7_BIB7 – volume: 7 start-page: 481 year: 1987 ident: 10.1016/0304-3975(95)00050-7_BIB12 article-title: An ergodic theorem for iterated maps publication-title: Ergodic Theory Dynamical Systems doi: 10.1017/S0143385700004168 – year: 1993 ident: 10.1016/0304-3975(95)00050-7_BIB19 article-title: Bereiche und bewertungen – year: 1974 ident: 10.1016/0304-3975(95)00050-7_BIB2 – year: 1966 ident: 10.1016/0304-3975(95)00050-7_BIB23 – year: 1969 ident: 10.1016/0304-3975(95)00050-7_BIB20 – volume: 21 start-page: 2151 year: 1998 ident: 10.1016/0304-3975(95)00050-7_BIB6 article-title: One dimensional Markovian-field Ising model: physical properties and characteristics of the discrete stochastic mapping publication-title: J. Phys. A: Math. Gen. doi: 10.1088/0305-4470/21/9/028 – volume: 12 start-page: 19 year: 1980 ident: 10.1016/0304-3975(95)00050-7_BIB24 article-title: Cpo's of measures for non-determinism publication-title: Theoret. Comput. Sci. doi: 10.1016/0304-3975(80)90003-1 – start-page: 145 year: 1991 ident: 10.1016/0304-3975(95)00050-7_BIB8 article-title: Neural networks, learning automata and iterated function systems – year: 1994 ident: 10.1016/0304-3975(95)00050-7_BIB11 article-title: Power domains and iterated function systems – volume: Vol. 27 year: 1982 ident: 10.1016/0304-3975(95)00050-7_BIB21 article-title: Valuations on continuous lattices – volume: Vol. 3 year: 1994 ident: 10.1016/0304-3975(95)00050-7_BIB1 article-title: Domain theory – year: 1994 ident: 10.1016/0304-3975(95)00050-7_BIB10 article-title: Domain of computation of a random field in statistical physics – volume: 30 start-page: 713 year: 1981 ident: 10.1016/0304-3975(95)00050-7_BIB15 article-title: Fractals and self-similarity publication-title: Indiana Univ. Math. J. doi: 10.1512/iumj.1981.30.30055 – start-page: 186 year: 1989 ident: 10.1016/0304-3975(95)00050-7_BIB17 article-title: A probabilistic powerdomain of evaluations – year: 1988 ident: 10.1016/0304-3975(95)00050-7_BIB3 – year: 1980 ident: 10.1016/0304-3975(95)00050-7_BIB13 – volume: 17 start-page: 4207 year: 1984 ident: 10.1016/0304-3975(95)00050-7_BIB14 article-title: Strange attractors in disordered systems publication-title: J. Phys. C: Solid State Phys. doi: 10.1088/0022-3719/17/24/004 |
| SSID | ssj0000576 |
| Score | 1.7768446 |
| Snippet | We present a domain-theoretic framework for measure theory and integration of bounded real-valued functions with respect to bounded Borel measures on compact... |
| SourceID | pascalfrancis crossref elsevier |
| SourceType | Index Database Enrichment Source Publisher |
| StartPage | 163 |
| SubjectTerms | Exact sciences and technology Mathematical analysis Mathematics Measure and integration Sciences and techniques of general use |
| Title | Domain theory and integration |
| URI | https://dx.doi.org/10.1016/0304-3975(95)00050-7 |
| Volume | 151 |
| WOSCitedRecordID | wos0304397595000507&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1879-2294 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0000576 issn: 0304-3975 databaseCode: AIEXJ dateStart: 19950109 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LSyQxEA6iHnYRfC6-Rvqwh10kOJ10Oslx0BEVFQ-zMrcmnWRA0HZwRvHnW5mk0-1jGfawl9CkOx2oL_mqSKWqEPpZMstNZjkuiR7hTMkUC2oYFkobIgnRehZIe3vJr6_FcChvQrm_yaycAK8q8foqx_8VaugDsF3o7D_AHX8KHfAMoEMLsEP7Gfiv9U8rOFGHqg2HQdW1l8jJ44Py1xydo92nYfLJI1rO-f5J77I3aE49TQiZYy5Uzgd4-mOroGNbzEKdO0T6kiWRBkPi1zbentTSQEFeP6a-ouEn6vWnAPHXYB9LaGY1SbuYN-qmdrF_0ELxbiCRYPQ4rbpEaC6AtJZ65_3hRaNeGfcO6DBRHQ-Z5kex75dkv8PEf7M3VsZqAjCMfPmSlk0xWENbTbRlchNxXEcLttpAq3W5jSSw7wb6fhVT7E42Ucejl3j0EkAvaaG3hf6c9gfHZzjUusCaUjrFhjA9Erm2ChgR9g9sFSmsSDNGlLVdoUARlDkDfrVGmpx3R2WmXPpFojNeUkt_oMXqsbLbKMnhe-tyJLHSmdtcKVOyXHLDHKELvoNoLZFCh0Twrh7JfVHf-HNyLJwcC8mKmRwLGIXjqLFPhDLne14Luwgr3BtpBSyYOSM777CJ04WVsTvn_R761uyCfbQ4fXq2HbSsX6Z3k6eDsJzeAIM0aSo |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=proceeding&rft.title=Theoretical+computer+science&rft.atitle=Domain+theory+and+integration&rft.au=EDALAT%2C+A&rft.date=1995-11-13&rft.pub=Elsevier&rft.issn=0304-3975&rft.volume=151&rft.issue=1&rft.spage=163&rft.epage=193&rft_id=info:doi/10.1016%2F0304-3975%2895%2900050-7&rft.externalDBID=n%2Fa&rft.externalDocID=2971062 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0304-3975&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0304-3975&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0304-3975&client=summon |