{"id":"https://openalex.org/W1984267738","doi":"https://doi.org/10.2168/lmcs-9(4:6)2013","title":"Incarnation in Ludics and maximal cliques of paths","display_name":"Incarnation in Ludics and maximal cliques of paths","publication_year":2013,"publication_date":"2013-10-16","ids":{"openalex":"https://openalex.org/W1984267738","doi":"https://doi.org/10.2168/lmcs-9(4:6)2013","mag":"1984267738"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-9(4:6)2013","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-9(4:6)2013","pdf_url":"https://lmcs.episciences.org/926/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/926/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053437574","display_name":"Myriam Quatrini","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]},{"id":"https://openalex.org/I4210144005","display_name":"Centre d\u2019Immunologie de Marseille-Luminy","ror":"https://ror.org/03vyjkj45","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I21491767","https://openalex.org/I4210096427","https://openalex.org/I4210144005"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Myriam Quatrini","raw_affiliation_strings":["IML-FRE 3529 Aix-Marseille Universit, CNRS, Campus de Luminy, case 907, F-13288 Marseille cedex 9, France","IML--FRE 3529 Aix-Marseille Universit\u00e9"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IML-FRE 3529 Aix-Marseille Universit, CNRS, Campus de Luminy, case 907, F-13288 Marseille cedex 9, France","institution_ids":["https://openalex.org/I4210144005","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"IML--FRE 3529 Aix-Marseille Universit\u00e9","institution_ids":["https://openalex.org/I21491767"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071612804","display_name":"Christophe Fouquer\u00e9","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christophe Fouquer\u00e9","raw_affiliation_strings":["Universit\u00e9 Paris, 13, Sorbonne Paris Cit\u00e8"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris, 13, Sorbonne Paris Cit\u00e8","institution_ids":["https://openalex.org/I204730241"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4941,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.75317175,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"Volume 9, Issue 4","issue":null,"first_page":null,"last_page":null},"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.9955000281333923,"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.9955000281333923,"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.9265999794006348,"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/T11574","display_name":"Artificial Intelligence in Games","score":0.9108999967575073,"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/mathematical-proof","display_name":"Mathematical proof","score":0.8293302059173584},{"id":"https://openalex.org/keywords/incarnation","display_name":"Incarnation","score":0.6797633767127991},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.569227933883667},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5463899970054626},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5205889344215393},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.48210766911506653},{"id":"https://openalex.org/keywords/orthogonality","display_name":"Orthogonality","score":0.43609124422073364},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.4341681897640228},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4087268114089966},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3715447187423706},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.24979162216186523},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23253506422042847}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.8293302059173584},{"id":"https://openalex.org/C2780446828","wikidata":"https://www.wikidata.org/wiki/Q41374","display_name":"Incarnation","level":2,"score":0.6797633767127991},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.569227933883667},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5463899970054626},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5205889344215393},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48210766911506653},{"id":"https://openalex.org/C17137986","wikidata":"https://www.wikidata.org/wiki/Q215067","display_name":"Orthogonality","level":2,"score":0.43609124422073364},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.4341681897640228},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4087268114089966},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3715447187423706},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.24979162216186523},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23253506422042847},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.2168/lmcs-9(4:6)2013","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-9(4:6)2013","pdf_url":"https://lmcs.episciences.org/926/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1307.1028","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1307.1028","pdf_url":"https://arxiv.org/pdf/1307.1028","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-01090265v1","is_oa":false,"landing_page_url":"https://sorbonne-paris-nord.hal.science/hal-01090265","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2013, 9 (4), pp.1-33. ⟨10.2168/LMCS-9(4:6)2013⟩","raw_type":"Journal articles"},{"id":"pmh:oai:HAL:hal-03216486v1","is_oa":false,"landing_page_url":"https://hal-univ-paris13.archives-ouvertes.fr/hal-03216486","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"EISSN: 1860-5974","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:077190738e6d4e2585f6a1cea76d772c","is_oa":true,"landing_page_url":"https://doaj.org/article/077190738e6d4e2585f6a1cea76d772c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 9, Issue 4 (2013)","raw_type":"article"},{"id":"pmh:oai:oskar-bordeaux.fr:20.500.12278/32986","is_oa":false,"landing_page_url":"https://oskar-bordeaux.fr/handle/20.500.12278/32986","pdf_url":null,"source":{"id":"https://openalex.org/S4306402569","display_name":"Oskar-Bordeaux (Universite de Bordeaux)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article de revue"}],"best_oa_location":{"id":"doi:10.2168/lmcs-9(4:6)2013","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-9(4:6)2013","pdf_url":"https://lmcs.episciences.org/926/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.7699999809265137}],"awards":[{"id":"https://openalex.org/G1550714392","display_name":null,"funder_award_id":"ANR-10-BLAN-0213","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7240651115","display_name":null,"funder_award_id":"ANR-10","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1984267738.pdf","grobid_xml":"https://content.openalex.org/works/W1984267738.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1525298231","https://openalex.org/W1545860678","https://openalex.org/W1552685794","https://openalex.org/W1607846461","https://openalex.org/W1847465957","https://openalex.org/W1851437493","https://openalex.org/W1890268527","https://openalex.org/W1910820376","https://openalex.org/W1961717322","https://openalex.org/W1971681260","https://openalex.org/W2029659108","https://openalex.org/W2059515205","https://openalex.org/W2068763700","https://openalex.org/W2070324762","https://openalex.org/W2122253298","https://openalex.org/W2129290355","https://openalex.org/W2166463841","https://openalex.org/W2911816136"],"related_works":["https://openalex.org/W2048727398","https://openalex.org/W4388164168","https://openalex.org/W2942546766","https://openalex.org/W2480599587","https://openalex.org/W2512148628","https://openalex.org/W2154477023","https://openalex.org/W2959217929","https://openalex.org/W4242866892","https://openalex.org/W84644661","https://openalex.org/W42551271"],"abstract_inverted_index":{"Ludics":[0,105],"is":[1,54,100,120,126,137,144,163,252],"a":[2,9,55,107,113,118,150,154,157,169,173,179,184,195,229,253],"reconstruction":[3],"of":[4,57,109,117,146,156,161,191,194,197,212,220,227,235,245,250],"logic":[5],"with":[6],"interaction":[7,31,38,251],"as":[8,29,73,106,122,166,218,225],"primitive":[10],"notion,":[11],"in":[12,91,104,112,130,139,237],"the":[13,16,37,127,131,147,189,192,201,246,248],"sense":[14],"that":[15,79,93,125,234,240],"primary":[17],"logical":[18],"concepts":[19],"are":[20,47,64,71,82,95],"no":[21],"more":[22,83,176],"formulas":[23,63],"and":[24,87,175],"proofs":[25,70,86],"but":[26],"cut-elimination":[27],"interpreted":[28,72],"an":[30,209,242],"between":[32,39],"objects":[33],"called":[34],"designs.":[35,259],"When":[36],"two":[40,45,257],"designs":[41,46,58,74,81,111],"goes":[42],"well,":[43],"such":[44],"said":[48],"to":[49,152,187,233,256],"be":[50],"orthogonal.":[51],"A":[52],"behaviour":[53,132,193,202],"set":[56,196],"closed":[59],"under":[60],"bi-orthogonality.":[61],"Logical":[62],"then":[65],"denoted":[66],"by":[67,102,134],"behaviours.":[68],"Finally":[69],"satisfying":[75],"particular":[76,92,140],"properties.":[77],"In":[78],"way,":[80],"general":[84],"than":[85,215],"we":[88,206,222],"may":[89],"notice":[90],"they":[94],"not":[96],"typed":[97],"objects.":[98],"Incarnation":[99],"introduced":[101],"Girard":[103],"characterization":[108],"\"useful\"":[110],"behaviour.":[114,180],"The":[115,159,204],"incarnation":[116,162,190],"design":[119,151],"defined":[121],"its":[123],"subdesign":[124],"smallest":[128],"one":[129,145],"ordered":[133],"inclusion.":[135],"It":[136],"useful":[138],"because":[141],"being":[142],"\"incarnated\"":[143],"conditions":[148],"for":[149,172,178],"denote":[153],"proof":[155],"formula.":[158],"computation":[160],"important":[164],"also":[165],"it":[167],"gives":[168],"minimal":[170],"denotation":[171],"formula,":[174],"generally":[177],"We":[181],"give":[182],"here":[183],"constructive":[185],"way":[186],"capture":[188],"designs,":[198],"without":[199],"computing":[200],"itself.":[203],"method":[205],"follow":[207],"uses":[208],"alternative":[210],"definition":[211],"designs:":[213],"rather":[214],"defining":[216],"them":[217,224],"sets":[219,226],"chronicles,":[221],"consider":[223],"paths,":[228],"concept":[230],"very":[231],"close":[232],"play":[236],"game":[238],"semantics":[239],"allows":[241],"easier":[243],"handling":[244],"interaction:":[247],"unfolding":[249],"path":[254],"common":[255],"interacting":[258]},"counts_by_year":[{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}