{"id":"https://openalex.org/W2395895598","doi":"https://doi.org/10.1016/s1571-0661(05)80579-1","title":"Preface","display_name":"Preface","publication_year":2001,"publication_date":"2001-11-01","ids":{"openalex":"https://openalex.org/W2395895598","doi":"https://doi.org/10.1016/s1571-0661(05)80579-1","mag":"2395895598"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80579-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80579-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80579-1","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060301517","display_name":"Simon Ambler","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Simon J. Ambler","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007944994","display_name":"Roy L. Crole","orcid":"https://orcid.org/0000-0003-1786-2822"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roy L. Crole","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5021883093","display_name":"Alberto Momigliano","orcid":"https://orcid.org/0000-0003-0942-4777"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alberto Momigliano","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.32808969,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"58","issue":"1","first_page":"115","last_page":"116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9803000092506409,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6855934858322144},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6753837466239929},{"id":"https://openalex.org/keywords/metalanguage","display_name":"Metalanguage","score":0.5062088370323181},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4700146019458771},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.4550709128379822},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4264228343963623},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.4175180196762085},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3438882827758789},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1630834937095642}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6855934858322144},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6753837466239929},{"id":"https://openalex.org/C142998047","wikidata":"https://www.wikidata.org/wiki/Q193983","display_name":"Metalanguage","level":2,"score":0.5062088370323181},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4700146019458771},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4550709128379822},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4264228343963623},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.4175180196762085},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3438882827758789},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1630834937095642},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/s1571-0661(05)80579-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80579-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:lra.le.ac.uk:2381/20015","is_oa":false,"landing_page_url":"http://hdl.handle.net/2381/20015","pdf_url":null,"source":{"id":"https://openalex.org/S4306402365","display_name":"Leicester Research Archive (University of Leicester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153648349","host_organization_name":"University of Leicester","host_organization_lineage":["https://openalex.org/I153648349"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus","raw_type":"Journal Article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80579-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80579-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3125538828","https://openalex.org/W3047405142","https://openalex.org/W2245685274","https://openalex.org/W2403746331","https://openalex.org/W2002931343","https://openalex.org/W3042312155","https://openalex.org/W2472677114","https://openalex.org/W3021003119","https://openalex.org/W3007870257","https://openalex.org/W2610513781"],"abstract_inverted_index":{"Mechanised":[0,17],"Reasoning":[1,18],"about":[2,19],"Languages":[3,20],"with":[4,21,31,124],"Variable":[5,22],"Binding":[6,23,367],"2001":[7,119],"This":[8],"volume":[9,248],"contains":[10],"the":[11,14,34,49,57,68,86,99,131,144,148,151,174,199,213,225,239,252,302,312,323,334,344,391,396,402],"Proceedings":[12],"of":[13,59,70,77,88,101,112,117,130,146,150,153,169,201,217,260,267,273,285,291,309,333,336,342,364,393,395],"Workshop":[15,42,378],"on":[16,38,48,359],"(MERLIN":[24],"2001),":[25],"which":[26,159,211],"was":[27,54,301],"held":[28],"in":[29,45,67,143,232,246],"conjunction":[30],"IJCAR":[32,377,383,397],"2001,":[33,52,338],"International":[35],"Joint":[36],"Conference":[37,384],"Automated":[39],"Reasoning.":[40],"The":[41,95,114,244,317],"took":[43],"place":[44],"Siena,":[46],"Italy,":[47],"18th":[50],"June":[51],"and":[53,109,134,136,140,163,166,177,188,208,215,305,366,380,405],"organized":[55],"by":[56,251],"editors":[58,318],"this":[60,247],"volume.":[61],"Currently,":[62],"there":[63],"is":[64,192],"considerable":[65],"interest":[66],"use":[69,100],"computers":[71],"to":[72,121,127,137,224,311,321,373,409],"encode":[73],"(operational)":[74],"semantic":[75],"descriptions":[76],"programming":[78,154,202,241],"languages.":[79],"Such":[80],"encodings":[81,96,219],"are":[82],"often":[83],"done":[84],"within":[85],"metalanguage":[87],"a":[89,125,307],"theorem":[90],"prover":[91],"or":[92],"related":[93],"system.":[94],"may":[97],"require":[98],"variable":[102,161,171,186],"binding":[103,183,187],"constructs,":[104],"inductive":[105],"definitions,":[106,108],"coinductive":[107],"associated":[110,190],"schemes":[111],"(co)recursion.":[113],"broad":[115],"aims":[116],"MERLIN":[118,315,337,410],"were":[120,249],"provide":[122],"researchers":[123],"forum":[126],"review":[128],"state":[129],"art":[132],"results":[133],"techniques,":[135],"present":[138],"recent":[139],"new":[141],"progress":[142],"areas":[145,234],"\u2022":[147,164,256,262,269,275,281,287,293],"automation":[149,197],"metatheory":[152],"language":[155,203,242],"semantics,":[156],"particularly":[157],"work":[158],"involves":[160],"binding;":[162],"theoretical":[165,206],"practical":[167,209],"problems":[168],"encoding":[170,200],"binding,":[172],"especially":[173,340],"representation":[175],"of,":[176],"reasoning":[178],"about,":[179],"datatypes":[180],"defined":[181],"from":[182],"signatures.":[184],"Automating":[185],"its":[189],"properties":[191],"notoriously":[193],"difficult,":[194],"but":[195,339],"such":[196,218],"pervades":[198],"semantics.":[204],"Thus":[205],"methods":[207],"techniques":[210],"simplify":[212],"definition":[214],"implementation":[216],"will":[220,235],"prove":[221],"very":[222],"useful":[223],"community.":[226,243],"Ultimately":[227],"we":[228,400],"hope":[229],"that":[230,341],"advances":[231],"these":[233],"have":[236],"significance":[237],"for":[238,314,327,353],"general":[240],"papers":[245],"reviewed":[250],"following":[253],"programme":[254],"committee:":[255],"Simon":[257],"Ambler":[258],"(University":[259,272,284,290],"Leicester)":[261,268],"Roy":[263],"Crole":[264],"(Chair;":[265],"University":[266],"Amy":[270],"Felty":[271],"Ottawa)":[274],"Andrew":[276,349],"Gordon":[277],"(Microsoft":[278],"Research,":[279],"Cambridge)":[280],"Furio":[282],"Honsell":[283],"Udine)":[286],"Tom":[288],"Melham":[289],"Glasgow)":[292],"Frank":[294],"Pfenning":[295],"(Carnegie":[296],"Mellon":[297],"University)":[298],"Alberto":[299],"Momigliano":[300],"local":[303],"organizer,":[304],"devoted":[306],"lot":[308],"time":[310],"preparations":[313],"2001.":[316,411],"would":[319,370],"like":[320,372],"thank":[322,348,374,401],"other":[324],"committee":[325],"members":[326],"their":[328],"input":[329],"into":[330,390],"all":[331,394],"stages":[332],"organization":[335,392],"reviewing":[343],"paper":[345],"submissions.":[346],"We":[347,369],"Pitts,":[350],"Cambridge":[351],"University,":[352],"giving":[354],"an":[355],"excellent":[356],"invited":[357],"talk":[358],"A":[360],"First":[361],"Order":[362],"Theory":[363],"Names":[365],".":[368],"also":[371],"Dieter":[375],"Hutter,":[376],"Chair,":[379,385],"Fabio":[381],"Massacci,":[382],"who":[386,407],"put":[387],"enormous":[388],"efforts":[389],"Workshops.":[398],"Finally":[399],"authors,":[403],"participants,":[404],"others":[406],"contributed":[408]},"counts_by_year":[],"updated_date":"2026-06-21T06:12:48.119943","created_date":"2016-06-24T00:00:00"}