Cost-Augmented Partial Evaluation of Functional Logic Programs
Uloženo v:
| Vydáno v: | Higher-order and symbolic computation Ročník 17; číslo 1/2; s. 7 - 46 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
01.03.2004
|
| ISSN: | 1388-3690 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Author | Vidal, Germán |
|---|---|
| Author_xml | – sequence: 1 givenname: Germán surname: Vidal fullname: Vidal, Germán |
| BookMark | eNqNkE1Lw0AQhvdQwbb6H4L3xP3Ix24PYltaLQQMqOdluh8lkmZldyP4722qIHhyLjPwzjwMzwxNetcbhG4Izgim7Ha1qHfPTYbHoiLPqwxTInCW0wmaEsZ5ykqBL9EshLdxJSdkiu7WLsR0ORyOpo9GJw342EKXbD6gGyC2rk-cTbZDr8b5FNTu0Kqk8e7g4Riu0IWFLpjrnz5Hr9vNy_oxrZ8edutlnSpSlTE1pSo5E8bYigEQiwultco58L3WWmBWMKYE5VYQTqo9WFERWopC74GAoSWbo_tvrvIuBG-sVG08vxc9tJ0kWI4O5EqODuSvA3l2IHN6Qiz-IN59ewT_-Z_jL3p7Zq4 |
| CitedBy_id | crossref_primary_10_1016_j_jsc_2004_01_001 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1023/B:LISP.0000029447.02190.42 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EndPage | 46 |
| ExternalDocumentID | 10_1023_B_LISP_0000029447_02190_42 |
| GroupedDBID | -DZ -Y2 -~C -~X .86 .DC 0R~ 0VY 199 1N0 1SB 29I 2JY 2P1 2VQ 2~H 30V 4.4 408 409 40D 5GY 5VS 67Z 6NX 78A 95. 95~ AAIAL AARHV AAYXX ABDPE ABFSG ABJNI ABMNI ABQSL ACBXY ACGFS ACOMO ACSTC ADHKG ADIMF ADKPE ADPHR ADRFC AEGNC AETEA AEZWR AFBBN AFEXP AFGCZ AFHIU AFLOW AFWTZ AGGDS AGJBK AGQPQ AHBYD AHKAY AHSBF AHWEU AIXLP ALMA_UNASSIGNED_HOLDINGS AMKLP ASPBG AVWKF AZFZN BA0 BGNMA CAG CITATION COF CS3 CSCUP DL5 DU5 EBS EJD FEDTE GQ8 GXS HF~ HG5 HG6 HMJXF HVGLF HZ~ I09 IHE IXC IZIGR IZQ I~X J9A KDC KOV LAK M4Y MA- N2Q NDZJH NU0 O93 O9G O9I OAM OVD P19 P9O PT5 QOS R89 R9I RNI ROL RPX RSV RZC RZE RZK S1Z S26 S27 S28 S3B SCO SDH SOJ T13 T16 TEORI TSK TSV TUC U2A VC2 WK8 YYM Z45 |
| ID | FETCH-LOGICAL-c176t-e6c6839eef73aa1f05cddc48a8bddd903533c928f91817baf9712695dba1ae263 |
| ISSN | 1388-3690 |
| IngestDate | Sat Nov 29 05:49:39 EST 2025 Tue Nov 18 21:34:00 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1/2 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c176t-e6c6839eef73aa1f05cddc48a8bddd903533c928f91817baf9712695dba1ae263 |
| PageCount | 40 |
| ParticipantIDs | crossref_citationtrail_10_1023_B_LISP_0000029447_02190_42 crossref_primary_10_1023_B_LISP_0000029447_02190_42 |
| PublicationCentury | 2000 |
| PublicationDate | 2004-03-00 |
| PublicationDateYYYYMMDD | 2004-03-01 |
| PublicationDate_xml | – month: 03 year: 2004 text: 2004-03-00 |
| PublicationDecade | 2000 |
| PublicationTitle | Higher-order and symbolic computation |
| PublicationYear | 2004 |
| SSID | ssj0002411 |
| Score | 1.5590137 |
| SourceID | crossref |
| SourceType | Enrichment Source Index Database |
| StartPage | 7 |
| Title | Cost-Augmented Partial Evaluation of Functional Logic Programs |
| Volume | 17 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAVX databaseName: Springer Journals issn: 1388-3690 databaseCode: RSV dateStart: 19980801 customDbUrl: isFulltext: true dateEnd: 20131231 titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 omitProxy: false ssIdentifier: ssj0002411 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1NT9wwELUQ9FAOhVJQoYB86DWwib3-4FCJRSCQEEKFIm6RYzvVSjSLyG4F_57xxyZZUAVU4hKtorWVeCYzz_b4PYS-S0GM1ELDh9SnCZUG4mDJUpjzWEj4lhBllReb4Gdn4vpankfN1trLCfCqEvf38vZdTQ33wNju6OwbzN10CjfgNxgdrmB2uL7K8AejepzsT357tk0DEBH-4siDG1pvhw-PIJ3FVUCntqzdgQFXp1V3wWqoAUk8O6ffZKgf_hSOR9gXok9mN_GvhkYFsS6I9X77Pa1mlhRoW1MVoyCBMSUs6Hg2YZJ33aE5SBLiHu8k0LCk-Cw0B4qIAQzW6cnFeeCNzCSlfAdghuztBJKtWUbsJ5mqqR_0O-cZyQe56ytv-8p9XzmFpLyQ8b50ce7nxVWTmwGvhCl4fMEpDW1Gdgd7_3quDmTpYI_LZfQpThrwfjD2ZzRnqxW0NBXkwDE-r6DFDrvkF_Rj1hNw9ATcegIelbj1BOw9AU89YRX9Ojq8PDhOolxGolPOxollmgHctbbkRKm07PW1MZoKJQpjjOwRQPZaZqKUgOp4oUrJ04zJvilUqmzGyBqar0aV_YqwVpB2ilJbbgWFGWmhmOAFZcJo3SNSryM5HZFcRy55J2lyk79smXVEmra3gVHlFa02_qvVN_Sx9e9NND--m9gt9EH_HQ_ru23vGo-F5mqX |
| linkProvider | Springer Nature |
| 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=article&rft.atitle=Cost-Augmented+Partial+Evaluation+of+Functional+Logic+Programs&rft.jtitle=Higher-order+and+symbolic+computation&rft.au=Vidal%2C+Germ%C3%A1n&rft.date=2004-03-01&rft.issn=1388-3690&rft.volume=17&rft.issue=1%2F2&rft.spage=7&rft.epage=46&rft_id=info:doi/10.1023%2FB%3ALISP.0000029447.02190.42&rft.externalDBID=n%2Fa&rft.externalDocID=10_1023_B_LISP_0000029447_02190_42 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1388-3690&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1388-3690&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1388-3690&client=summon |