Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022)

Uložené v:
Podrobná bibliografia
Vydané v:Journal of logical and algebraic methods in programming s. 101098
Hlavný autor: Julián-Iranzo, Pascual
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: 01.10.2025
ISSN:2352-2208
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
ArticleNumber 101098
Author Julián-Iranzo, Pascual
Author_xml – sequence: 1
  givenname: Pascual
  surname: Julián-Iranzo
  fullname: Julián-Iranzo, Pascual
BookMark eNotkEFPwkAUhPeAiYj8Ai971EPx7dtCt0dDUEyaQAwJx83r9rVSabfZxYP_XhBPk0wmM5nvTox637MQDwpmCtTiuZ21R-qGGQLOLw7kZiTGqOeYIIK5FdMYW4Bz1GRGq7HYbwPX5FievIx8ZHfiSg40cIiyDr6TqOJJ7n34ip9-kL6X2-CbQF136BtJfSUL6ptvajjKx-3HpljJ8zY-3Yubmo6Rp_86EbvX1W65TorN2_vypUhcbkzCqakQWc3VwhGWFXKZkmKj8tyQLlMA0tosstxAXeVZnXGqNVXaAToowemJ0NdaF3yM5yt2CIeOwo9VYC9EbGv_iNgLEXslon8BIA9X6g
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.jlamp.2025.101098
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
ExternalDocumentID 10_1016_j_jlamp_2025_101098
GroupedDBID --M
0R~
4.4
457
4G.
7-5
8P~
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABBOA
ABJNI
ABMAC
ABXDB
ACDAQ
ACGFS
ACLOT
ACRLP
ACVFH
ADBBV
ADCNI
ADEZE
ADVLN
AEBSH
AEIPS
AEKER
AENEX
AEUPX
AFJKZ
AFPUW
AFTJW
AGHFR
AGUBO
AIALX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
AOUOD
AXJTR
BKOJK
BLXMC
CITATION
EBS
EFJIC
EFKBS
EFLBG
EJD
FDB
FIRID
FYGXN
GBLVA
GBOLZ
HZ~
KOM
M41
O9-
OAUVE
ROL
SPC
SPCBC
SSV
SSZ
T5K
~G-
ID FETCH-LOGICAL-c988-e48d22e1516ca2bd2eb4a1e81998a3b400a33867980fd97f7e433ad3c02c0b0c3
ISSN 2352-2208
IngestDate Thu Nov 13 04:11:59 EST 2025
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c988-e48d22e1516ca2bd2eb4a1e81998a3b400a33867980fd97f7e433ad3c02c0b0c3
ParticipantIDs crossref_primary_10_1016_j_jlamp_2025_101098
PublicationCentury 2000
PublicationDate 2025-10-00
PublicationDateYYYYMMDD 2025-10-01
PublicationDate_xml – month: 10
  year: 2025
  text: 2025-10-00
PublicationDecade 2020
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2025
References Galindo (10.1016/j.jlamp.2025.101098_bib0003) 2025; 142
Bueso-de-Barrio (10.1016/j.jlamp.2025.101098_bib0004) 2025
Lucas (10.1016/j.jlamp.2025.101098_bib0001) 2024; 136
Rodríguez (10.1016/j.jlamp.2025.101098_bib0002) 2024; 140
References_xml – volume: 142
  year: 2025
  ident: 10.1016/j.jlamp.2025.101098_bib0003
  article-title: The Expression Dependence Graph
  publication-title: J. Log. Algebraic Methods Program
– volume: 136
  year: 2024
  ident: 10.1016/j.jlamp.2025.101098_bib0001
  article-title: Local Confluence of Conditional and Generalized Term Rewriting Systems
  publication-title: J. Log. Algebraic Methods Program
– volume: 140
  year: 2024
  ident: 10.1016/j.jlamp.2025.101098_bib0002
  publication-title: Realizability Modulo Theories
– year: 2025
  ident: 10.1016/j.jlamp.2025.101098_bib0004
SSID ssj0001687831
Score 2.3186405
SourceID crossref
SourceType Index Database
StartPage 101098
Title Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022)
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: ScienceDirect (Freedom Collection)
  issn: 2352-2208
  databaseCode: AIEXJ
  dateStart: 20211207
  customDbUrl:
  isFulltext: true
  dateEnd: 99991231
  titleUrlDefault: https://www.sciencedirect.com
  omitProxy: false
  ssIdentifier: ssj0001687831
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtZ3NT6QwFMAbV_ewF3d1d6Oru-nBg2YXA6VAORozRs1EJ2aicyNtKToTBSLjxvjX72tpmVE3Rg9eCCHkQfnB6-P1fSC0JSMqioAWXhQXsUcL-GFlMqaeoEQkYL9y30T5nveTkxM2GqUD2y61Me0EkrJk9_dp_a6o4RjA1qmzb8DdCYUDsA_QYQvYYfsq8AOY87g0HTEa0-QGTMqa1zpR1-SSkKCZGh95c1XVeq1g0IZo3bh0xb51YRp_7ODstN_7TWAOdj6D55asU5-m7uv1pV6KHkvbm7oNU59doYvY0XnZepE-KL0jmC8fqtaebeSdHaB1RZCoC2qzGouANecR4rM5jRjotTf2X2Xd-g0muxN493XpUBLtzs5-XBr7yZTVBRK6GLVJZoRkWkjWCvmAlkgSpaDplvaOeqPjmectZgkzjSq7-3XlqEzg37PbmTNZ5myP4Re0bB813mthr6AFVa6iz64hB7b6-Su6sOzxtMKOPW7ZY80ea_bYscdViefYY8CHO_Z425DHmvzONzQ86A33Dz3bOcOTKXwOirKcEAXGXCw5ETlRgvJAMZ1PyUMBapuHoa60yPwiT5MiUTQMeR5Kn0hf-DL8jhbLqlRrCBNORZ5InoMkGgvGFYlhHJEvOOOc5-voj3s2Wd3WR8legPLjbadvoE-z92wTLU5v79RP9FH-nY6b218W7D_s4F02
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=Preface+to+selected+papers+from+21st+Workshop+on+Programming+and+Languages+%28PROLE+2022%29&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Juli%C3%A1n-Iranzo%2C+Pascual&rft.date=2025-10-01&rft.issn=2352-2208&rft.spage=101098&rft_id=info:doi/10.1016%2Fj.jlamp.2025.101098&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2025_101098
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon