Functional and (Constraint) Logic Programming

Uloženo v:
Podrobná bibliografie
Vydáno v:Information and computation Ročník 235; s. 1 - 2
Hlavní autoři: Escobar, Santiago, Falaschi, Moreno
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier Inc 01.04.2014
ISSN:0890-5401, 1090-2651
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 Escobar, Santiago
Falaschi, Moreno
Author_xml – sequence: 1
  givenname: Santiago
  surname: Escobar
  fullname: Escobar, Santiago
  organization: Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València, Camino de Vera, 14 E-46022 Valencia, Spain
– sequence: 2
  givenname: Moreno
  surname: Falaschi
  fullname: Falaschi, Moreno
  organization: Dipartimento di Scienze Matematiche e Informatiche, Facoltà di Scienze MM.FF.NN., Università di Siena, Italy
BookMark eNp1jz1PwzAURS1UJNrCzpgRhoT3_BE3bCiigFQJBpgt98WJXLU2sgMS_55UZWW6dzlX9yzYLMTgGLtGqBCwvttVnioOKCvACkCfsTlCAyWvFc7YHFZTVxLwgi1y3gEgKlnPWbn-CjT6GOy-sKErbtoY8pisD-NtsYmDp-ItxSHZw8GH4ZKd93af3dVfLtnH-vG9fS43r08v7cOmJNR6LKVyNbpeEO8AiHOtRE3dtlFoV6rX2mqlrdCkGgEOpNj2XAKRXDWCGt7XYsngtEsp5pxcbz6TP9j0YxDMUdfsjCdz1DWAZtKdkPsT4qZf394lk8m7QK7zydFouuj_h38Bs6RcdA
ContentType Journal Article
Copyright 2014 Elsevier Inc.
Copyright_xml – notice: 2014 Elsevier Inc.
DBID 6I.
AAFTH
AAYXX
CITATION
DOI 10.1016/j.ic.2014.01.007
DatabaseName ScienceDirect Open Access Titles
Elsevier:ScienceDirect:Open Access
CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Computer Science
EISSN 1090-2651
EndPage 2
ExternalDocumentID 10_1016_j_ic_2014_01_007
S089054011400008X
GroupedDBID --K
--M
--Z
-~X
.~1
0R~
1B1
1~.
1~5
29I
4.4
457
4G.
5GY
5VS
6I.
6TJ
7-5
71M
8P~
9JN
AACTN
AAEDT
AAEDW
AAFTH
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AAXUO
AAYFN
ABAOU
ABBOA
ABFNM
ABJNI
ABMAC
ABTAH
ABVKL
ABXDB
ABYKQ
ACAZW
ACDAQ
ACGFS
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADFGL
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
CAG
COF
CS3
DM4
DU5
E3Z
EBS
EFBJH
EFLBG
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-Q
G8K
GBLVA
GBOLZ
HVGLF
HZ~
H~9
IHE
IXB
J1W
KOM
LG5
LX9
M41
MHUIS
MO0
MVM
N9A
NCXOZ
O-L
O9-
OAUVE
OK1
OZT
P-8
P-9
P2P
PC.
Q38
R2-
RIG
RNS
ROL
RPZ
SDF
SDG
SDP
SES
SEW
SPC
SPCBC
SSV
SSW
SSZ
T5K
TN5
WH7
WUQ
XJT
XPP
ZMT
ZU3
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
ID FETCH-LOGICAL-c177t-45e61ef3c2d00c227536cdb951a85f77a757a37c5930e043bf240cc4893c92f63
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000332418800001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0890-5401
IngestDate Sat Nov 29 01:56:33 EST 2025
Fri Feb 23 02:25:06 EST 2024
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c177t-45e61ef3c2d00c227536cdb951a85f77a757a37c5930e043bf240cc4893c92f63
OpenAccessLink https://dx.doi.org/10.1016/j.ic.2014.01.007
PageCount 2
ParticipantIDs crossref_primary_10_1016_j_ic_2014_01_007
elsevier_sciencedirect_doi_10_1016_j_ic_2014_01_007
PublicationCentury 2000
PublicationDate April 2014
2014-04-00
PublicationDateYYYYMMDD 2014-04-01
PublicationDate_xml – month: 04
  year: 2014
  text: April 2014
PublicationDecade 2010
PublicationTitle Information and computation
PublicationYear 2014
Publisher Elsevier Inc
Publisher_xml – name: Elsevier Inc
SSID ssj0011546
Score 2.004396
SourceID crossref
elsevier
SourceType Index Database
Publisher
StartPage 1
Title Functional and (Constraint) Logic Programming
URI https://dx.doi.org/10.1016/j.ic.2014.01.007
Volume 235
WOSCitedRecordID wos000332418800001&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: 1090-2651
  dateEnd: 20171231
  omitProxy: false
  ssIdentifier: ssj0011546
  issn: 0890-5401
  databaseCode: AIEXJ
  dateStart: 19950101
  isFulltext: true
  titleUrlDefault: https://www.sciencedirect.com
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Pa9swFBZdu8N2WLtuY-3a4sMO68FDkmVLPpaR0vZQCu0gN2O_SCOBOSFJR__8vmdJiTM66Aa7mCD8Q9Fn3vv89N77GPtsnEVHJopUOedSZUCnNbr1VJp6pK1prOJ1Jzahr6_NcFjeBA33RScnoNvWPDyUs_8KNY4h2FQ6-xdwr26KA_gbQccjwo7HZwF_jp4qBPgoKE67tMQBSQpiSTEAUlcGKhCgvKyf0XNNYkb7qpoxVrzN7jd36wcLQBvg5boQlnH9Y7p6CagoEzqZYDQWc9tO-0EF0c9F6SJdsdplIxmTm5JTIoU_z3qDyXFMFqFpbLCoMst7NlH0nKt80mr7AMLk65h6SgrV9VH1Wri_9cK-pSnQDPCzkNjL8AXbkTov0ZztnF0OhlerDSQRarTilMMOtU_t23zO04ykxzLu9tib8HmQnHlY37It2-6z3Si9kQRLvM9e9_pIvmPpGvMEUUu-rBE_TTq8kx7e79n388Hdt4s06GCkILRepiq3hbAuAzniHCT-4ayAUYPcuDa507rWua4zDXmZcctV1jikaQDUVghK6YrsA9tup639yBKFp2g3sgYUqBxyY5HPSisa0WhArnfATuNaVDPf7qSKeYCTagwVrVvFRYXrdsCyuFhVoGuehlWI6x-vOvynqz6xV-vX9IhtL-f39pi9hF_L8WJ-EsB_BClrXuQ
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=article&rft.atitle=Functional+and+%28Constraint%29+Logic+Programming&rft.jtitle=Information+and+computation&rft.au=Escobar%2C+Santiago&rft.au=Falaschi%2C+Moreno&rft.date=2014-04-01&rft.pub=Elsevier+Inc&rft.issn=0890-5401&rft.eissn=1090-2651&rft.volume=235&rft.spage=1&rft.epage=2&rft_id=info:doi/10.1016%2Fj.ic.2014.01.007&rft.externalDocID=S089054011400008X
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0890-5401&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0890-5401&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0890-5401&client=summon