{"id":"https://openalex.org/W2593760635","doi":"https://doi.org/10.1016/s1571-0661(05)80397-4","title":"Preface","display_name":"Preface","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W2593760635","doi":"https://doi.org/10.1016/s1571-0661(05)80397-4","mag":"2593760635"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80397-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80397-4","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)80397-4","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109053596","display_name":"Jean-Yves Girard","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jean-Yves Girard","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102797548","display_name":"Mitsuhiro Okada","orcid":"https://orcid.org/0000-0001-8869-0760"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mitsuhiro Okada","raw_affiliation_strings":["Department of Philosophy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054465062","display_name":"Andre Scedrov","orcid":"https://orcid.org/0000-0002-4536-0419"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andre Scedrov","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.28265388,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"3","issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9883000254631042,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9883000254631042,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9754999876022339,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9559999704360962,"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/library-science","display_name":"Library science","score":0.6756987571716309},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5746199488639832},{"id":"https://openalex.org/keywords/publication","display_name":"Publication","score":0.5096967220306396},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.44069868326187134},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.427826464176178},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.3388546109199524},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.17912748456001282},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16324928402900696},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14503195881843567},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.13489529490470886}],"concepts":[{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.6756987571716309},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5746199488639832},{"id":"https://openalex.org/C41458344","wikidata":"https://www.wikidata.org/wiki/Q732577","display_name":"Publication","level":2,"score":0.5096967220306396},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.44069868326187134},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.427826464176178},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.3388546109199524},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.17912748456001282},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16324928402900696},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14503195881843567},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.13489529490470886},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80397-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80397-4","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"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80397-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80397-4","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":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3128275854","https://openalex.org/W2381249057","https://openalex.org/W4234751669","https://openalex.org/W3046170769","https://openalex.org/W2160789981","https://openalex.org/W2903847719","https://openalex.org/W2361660160","https://openalex.org/W4327498252","https://openalex.org/W2166090092","https://openalex.org/W3126467163"],"abstract_inverted_index":{"The":[0,32,57,112,168,200],"field":[1],"of":[2,19,44,50,76,93,133,160,170,179,183,192,203,285],"linear":[3],"logic":[4,15],"has":[5,228],"developed":[6],"very":[7],"rapidly":[8],"during":[9],"the":[10,20,51,55,73,83,90,105,109,124,139,143,158,171,195,204,218,242,248,251,268],"last":[11,113],"ten":[12],"years.":[13],"Linear":[14,33,58],"is":[16,138,154,173,215],"now":[17],"one":[18],"most":[21],"active":[22],"research":[23,45],"areas":[24],"in":[25,28,54,116,142,148,250],"Logic":[26,34,59],"and":[27,47,89,101,108,164,182,188,211,223,234,247],"Theoretical":[29,149,220],"Computer":[30,150,221],"Science.":[31,151],"96":[35,60],"Tokyo":[36,61],"Meeting":[37,62],"provided":[38],"a":[39,48,229],"forum":[40],"for":[41],"an":[42],"exchange":[43],"results":[46],"discussion":[49],"future":[52],"directions":[53],"field.":[56],"was":[63],"held":[64],"from":[65,85],"March":[66],"28":[67],"through":[68,157],"April":[69],"2,":[70],"1996,":[71],"at":[72,267],"Mita":[74],"Campus":[75],"Keio":[77,86],"University":[78],"(in":[79],"downtown":[80],"Tokyo),":[81],"with":[82,217],"support":[84],"University,":[87],"JSSP-CNRS":[88],"U.S.":[91],"Office":[92],"Naval":[94],"Research.":[95],"These":[96],"proceedings":[97,131,181],"include":[98],"extended":[99],"abstracts":[100],"preliminary":[102],"reports":[103],"by":[104,123],"invited":[106],"speakers":[107],"contributed":[110,120],"speakers.":[111],"four":[114],"papers":[115,121,135],"this":[117],"volume":[118,141],"are":[119,206],"selected":[122],"editors.":[125],"We":[126],"plan":[127],"to":[128,174,194,232,241],"publish":[129],"formal":[130],"composed":[132],"full-version":[134],"later.":[136],"This":[137,152,245],"third":[140],"new":[144],"series,":[145],"Electronic":[146],"Notes":[147],"series":[153,172,205,252],"published":[155],"electronically":[156],"facilities":[159],"Elsevier":[161,257],"Science":[162],"B.V.":[163],"under":[165],"its":[166,235],"auspices.":[167],"aim":[169],"provide":[175],"rapid,":[176],"electronic":[177,236],"publication":[178],"conference":[180],"lecture":[184],"notes,":[185],"thematic":[186],"monographs,":[187],"other":[189],"such":[190],"publications":[191],"interest":[193],"theoretical":[196],"computer":[197],"science":[198],"community.":[199],"Managing":[201],"Editors":[202],"Michael":[207],"Mislove,":[208],"Maurice":[209],"Nivat":[210],"Christos":[212],"Papadimitriou.":[213],"ENTCS":[214,243],"affiliated":[216],"journal":[219],"Science,":[222],"anyone":[224],"whose":[225],"home":[226],"institution":[227],"paid":[230],"subscription":[231],"TCS":[233],"components":[237],"will":[238,253],"have":[239],"access":[240],"archives.":[244],"material":[246],"volumes":[249],"be":[254,265],"available":[255],"via":[256],"Science's":[258],"World":[259],"Wide":[260],"Web":[261],"server,":[262],"which":[263],"can":[264],"accessed":[266],"URL":[269],"http://www.elsevier.nl/locate/entcs":[270],"Editors:":[271],"Jean-Yves":[272],"Girard":[273],"(IML-CNRS,":[274],"Marseille,":[275],"France)":[276],"Mitsuhiro":[277],"Okada":[278],"(Keio":[279],"Univ.,":[280],"Japan)":[281],"Andre":[282],"Scedrov":[283],"(Univ.":[284],"Pennsylvania,":[286],"USA)":[287]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2017-03-16T00:00:00"}