{"id":"https://openalex.org/W129678202","doi":"https://doi.org/10.1016/s1571-0661(05)80858-8","title":"Preface","display_name":"Preface","publication_year":2003,"publication_date":"2003-09-01","ids":{"openalex":"https://openalex.org/W129678202","doi":"https://doi.org/10.1016/s1571-0661(05)80858-8","mag":"129678202"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80858-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80858-8","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)80858-8","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113469131","display_name":"Ruy de Queiroz","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ruy de Queiroz","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009045679","display_name":"Elaine Pimentel","orcid":"https://orcid.org/0000-0002-7113-0801"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Elaine Pimentel","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5071411379","display_name":"L. J. C. Figueiredo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lucilia Figueiredo","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5113469131"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01504563,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"84","issue":null,"first_page":"229","last_page":"231"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.6941999793052673,"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.6941999793052673,"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.631415843963623},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.4947206676006317},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.4173828065395355},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.35521334409713745},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.15734371542930603},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.07583233714103699}],"concepts":[{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.631415843963623},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.4947206676006317},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.4173828065395355},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.35521334409713745},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.15734371542930603},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.07583233714103699}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80858-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80858-8","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)80858-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80858-8","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W93312527","https://openalex.org/W2603296253","https://openalex.org/W1589203209","https://openalex.org/W2557454913","https://openalex.org/W828925460","https://openalex.org/W11365241","https://openalex.org/W1013667899","https://openalex.org/W2559405764","https://openalex.org/W157591366"],"abstract_inverted_index":{"This":[0,674],"volume":[1,481,657,662,707],"contains":[2],"the":[3,6,34,39,57,80,88,166,175,184,197,204,223,230,254,259,280,286,305,389,394,398,416,480,485,665,680,691,698,705,712,715,725,734,742,746,753,756,765,776,781,790,794],"Proceedings":[4],"of":[5,38,50,59,82,229,256,288,307,347,356,378,412,419,429,435,489,539,572,575,597,620,639,682,704,736,741,745,755,767,769,778,780],"10th":[7],"Workshop":[8,17],"on":[9],"Logic,":[10,179],"Language,":[11],"Information":[12,182],"and":[13,65,87,93,95,104,119,171,181,203,225,318,336,341,345,350,367,372,382,384,393,406,432,459,509,568,685,775],"Computation":[14],"(WoLLIC'2003).":[15],"The":[16,68,543,593,656,688],"was":[18,211],"held":[19,112],"in":[20,33,54,63,79,117,124,129,134,141,148,154,160,169,304,310,479,664,669,690,717],"Ouro":[21,43,299,605,718,785],"Preto,":[22,606,786],"Minas":[23,37,278,281,293,633,773],"Gerais,":[24,279,634],"Brazil":[25],"from":[26,165,388],"July":[27],"29":[28],"to":[29,71,91,100,314,711,724,764,793],"August":[30,797],"1,":[31],"2003,":[32],"Escola":[35,291],"de":[36,42,138,157,200,207,218,242,246,248,271,277,292,298,492,495,511,516,522,549,553,565,579,584,589,600,604,610,614,618,624,628,632,637,643,649,652,772,784,800],"Universidade":[40,494,520,551,588,602,612,622,630,641,651,770,782],"Federal":[41,297,603,613,623,631,642,771,783],"Preto":[44],"(UFOP).":[45],"WoLLIC":[46],"is":[47,70,76,97,676],"a":[48,73,251],"series":[49,666,675,693],"workshops":[51],"which":[52,75,787],"started":[53],"1994":[55,118],"with":[56,752],"aim":[58],"fostering":[60],"interdisciplinary":[61],"research":[62],"pure":[64],"applied":[66],"logic.":[67],"idea":[69],"provide":[72],"forum":[74],"large":[77],"enough":[78,99],"number":[81],"possible":[83],"interactions":[84],"between":[85],"logic":[86,340,349,366,371,379,381,385,453],"sciences":[89],"related":[90,313],"information":[92,317],"computation,":[94,319,383],"yet":[96],"small":[98],"allow":[101],"for":[102,178,186,192,253,285,452,733,749],"concrete":[103],"useful":[105],"interaction":[106],"among":[107],"participants.":[108],"Previous":[109],"versions":[110],"were":[111,302,482],"at:":[113],"Recife":[114],"(Pernambuco,":[115],"Brazil)":[116,123,128,140,153,592,635,645,655],"1995;":[120],"Salvador":[121],"(Bahia,":[122],"1996;":[125],"Fortaleza":[126],"(Cear\u00e1,":[127],"1997;":[130],"S\u00e3o":[131,590,653],"Paulo":[132],"(Brazil)":[133,159],"1998;":[135],"Itatiaia":[136],"(Rio":[137,144],"Janeiro,":[139],"1999;":[142],"Natal":[143],"Grande":[145],"do":[146,265,275],"Norte)":[147],"2000;":[149],"Bras\u00edlia":[150],"(Distrito":[151],"Federal,":[152],"2001;":[155],"Rio":[156],"Janeiro":[158],"2002.":[161],"Scientific":[162],"sponsorship":[163],"comes":[164],"Interest":[167],"Group":[168],"Pure":[170],"Applied":[172],"Logics":[173],"(IGPL),":[174],"European":[176,190],"Association":[177,185,191],"Language":[180],"(FoLLI),":[183],"Symbolic":[187],"Logic":[188],"(ASL),":[189],"Theoretical":[193,670],"Computer":[194,413,671],"Science":[195,672],"(EATCS),":[196],"Sociedade":[198,205],"Brasileira":[199,206],"Computa\u00e7\u00e3o":[201],"(SBC),":[202],"L\u00f3gica":[208,517],"(SBL).":[209],"Funding":[210],"kindly":[212],"given":[213],"by:(i)":[214],"CNPq":[215],"(Conselho":[216],"Nacional":[217],"Desenvolvimento":[219],"Cient\u00edfico":[220],"e":[221,235,264,518,586],"Tecnol\u00f3gico,":[222],"scientific":[224,289],"technological":[226],"development":[227],"council":[228],"Brazilian":[231,260],"Minist\u00e9rio":[232,261],"da":[233,262,294,546,581],"Ci\u00eancia":[234],"Tecnologia)":[236],"(grant":[237,267],"450709/2003-5);(ii)":[238],"CAPES":[239],"(Funda\u00e7\u00e3o":[240,270],"Coordena\u00e7\u00e3o":[241],"Apoio":[243],"ao":[244],"Aperfei\u00e7oamento":[245],"Pessoal":[247],"N\u00edvel":[249],"Superior,":[250],"Foundation":[252],"Development":[255],"Higher-Education":[257],"under":[258],"Educa\u00e7\u00e3o":[263],"Desporto)":[266],"PAEP0565/03);(iii)":[268],"FAPEMIG":[269],"Amparo":[272],"\u00e0":[273],"Pesquisa":[274],"Estado":[276],"Gerais":[282,774],"state":[283],"foundation":[284],"support":[287,792],"research);(iv)":[290],"UFOP":[295],"(Universidade":[296],"Preto).":[300],"Contributions":[301],"received":[303],"form":[306],"short":[308],"papers":[309,391,478],"all":[311],"areas":[312],"logic,":[315,328,365],"language,":[316,368],"including:pure":[320],"logical":[321],"systems,":[322],"proof":[323,353],"theory,":[324,326,330,332,352],"model":[325],"algebraic":[327],"type":[329],"category":[331],"constructive":[333],"mathematics,":[334],"lambda":[335],"combinatorial":[337],"calculi,":[338],"program":[339,342,486],"semantics,":[343],"logics":[344],"models":[346],"concurrency,":[348],"complexity":[351,440],"complexity,":[354,361],"foundations":[355,377,451],"cryptography":[357],"(zero-knowledge":[358],"proofs),":[359],"descriptive":[360],"nonclassical":[362],"logics,":[363],"nonmonotonic":[364],"discourse":[369],"representation,":[370],"artificial":[373],"intelligence,":[374],"automated":[375],"deduction,":[376],"programming,":[380],"engineering.":[386],"Apart":[387],"contributed":[390],"(15),":[392],"invited":[395],"talks":[396],"(5),":[397],"programme":[399],"includes":[400],"5":[401],"tutorial":[402],"lectures:":[403],"Algorithmic":[404],"Randomness":[405],"Derandomization":[407],"by":[408,425,441,455,468,484],"Eric":[409],"Allender":[410],"(Department":[411,428],"Science,":[414,540],"Rutgers,":[415],"State":[417],"University":[418,434,574],"New":[420],"Jersey,":[421],"USA)":[422],"Generalized":[423],"Quantifiers":[424],"Lauri":[426],"Hella":[427],"Mathematics,":[430,573],"Statistics":[431],"Philosophy,":[433],"Tampere,":[436],"Finland)":[437],"Implicit":[438],"computational":[439],"Jean-Baptiste":[442],"Joinet":[443],"(Preuves-Programmes-Syst\u00e8mes,":[444],"Universit\u00e9":[445,510],"Paris":[446,512],"7,":[447],"France)":[448,464],"Proof":[449],"search":[450],"programming":[454],"Dale":[456],"Miller":[457],"(INRIA/Futurs/Saclay,":[458],"Laboratoire":[460],"d'Informatique,":[461],"\u00c9cole":[462],"Polytechnique,":[463],"Iterated":[465],"theory":[466],"change":[467],"Hans":[469],"Rott":[470],"(Institut":[471],"f\u00fcr":[472],"Philosophie,":[473],"Universit\u00e4t":[474,560],"Regensburg,":[475],"Germany)":[476],"All":[477],"reviewed":[483],"committee":[487,595],"consisting":[488],"Mauricio":[490],"Ayala-Rin\u00f3on(Departamento":[491],"Matem\u00e1tica,":[493,629,650],"Bras\u00edlia,":[496],"Brazil)Argimiro":[497],"Arratia(Depto.":[498],"Matematicas,":[499],"Universidad":[500],"Simon":[501],"Bolivar,":[502],"Venezuela)Alessandra":[503],"Carbone(Institut":[504],"des":[505],"Hautes":[506],"\u00c9tudes":[507],"Scientifiques,":[508],"XII,":[513],"France)Marcelo":[514],"Coniglio(Centro":[515],"Epistemologia,":[519],"Estadual":[521],"Campinas,":[523],"Brazil)Gilles":[524],"Dowek(INRIA,":[525],"France)Arnaud":[526],"Fleury(Facolt\u00e0":[527],"di":[528,531],"Scienze,":[529],"Universit\u00e0":[530],"Verona,":[532],"Italy)Dexter":[533],"Kozen(Cornell":[534],"University,":[535],"USA)Maarten":[536],"Marx(ILLC,":[537],"Faculty":[538],"Universiteit":[541],"Amsterdam,":[542],"Netherlands)Anto\u02danio":[544],"Carlos":[545,563],"Rocha":[547],"Costa(Escola":[548],"Inform\u00e1tica,":[550,611],"Cat\u00f3lica":[552],"Pelotas,":[554],"Brazil)Dieter":[555],"Spreen(Fachbereich":[556],"Mathematik,":[557],"Theoretische":[558],"Informatik,":[559],"Siegen,":[561],"Germany)Luiz":[562],"Pereira(Departamento":[564],"Filosofia,":[566],"PUC-Rio":[567],"UFRJ,":[569],"Brazil)Jouko":[570],"V\u00e4\u00e4n\u00e4nen(Department":[571],"Helsinki,":[576],"Finland)Renata":[577],"Wassermann(Departamento":[578],"Cie\u02dancia":[580],"Computa\u00e7\u00e3o,":[582,601],"Instituto":[583],"Matem\u00e1tica":[585],"Estat\u00edstica,":[587],"Paulo,":[591,654],"organising":[594,795],"consisted":[596],"Luc\u00edlia":[598],"Figueiredo(Departamento":[599],"Brazil)Fred":[607],"Ulisses":[608],"Maranh\u00e3o(Centro":[609],"Pernambuco,":[615,625,644],"Brazil)Anjolina":[616],"Grisi":[617],"Oliveira(Center":[619],"Informatics,":[621,640],"Brazil)Elaine":[626],"Pimentel(Departamento":[627],"(Co-Chair)Ruy":[636],"Queiroz(Center":[638],"(Co-Chair)Maria":[646],"Angela":[647],"Weiss(Departamento":[648],"will":[658],"be":[659,695],"published":[660,677],"as":[661],"84":[663],"Electronic":[667],"Notes":[668],"(ENTCS).":[673],"electronically":[678],"through":[679],"facilities":[681],"Elsevier":[683],"B.V.":[684],"its":[686],"auspices.":[687],"volumes":[689],"ENTCS":[692,747,757],"can":[694],"accessed":[696],"at":[697,714],"URL":[699],"http://www.elsevier.nl/locate/entcs":[700],"A":[701],"printed":[702],"version":[703],"current":[706],"has":[708,730,788],"been":[709,731],"distributed":[710],"participants":[713],"workshop":[716],"Preto.":[719],"We":[720],"are":[721,761],"very":[722],"grateful":[723],"following":[726],"persons,":[727],"whose":[728],"help":[729],"crucial":[732],"success":[735],"WoLLIC'2003:":[737],"Mike":[738],"Mislove,":[739],"one":[740],"Managing":[743],"Editors":[744],"series,":[748],"his":[750],"assistance":[751],"use":[754],"style":[758],"files;":[759],"Thanks":[760],"also":[762],"due":[763],"Department":[766,777],"Mathematics":[768],"Computing":[779],"provided":[789],"logistic":[791],"committee.":[796],"2,":[798],"2003Ruy":[799],"Queiroz,":[801],"Elaine":[802],"Pimentel,":[803],"Lucilia":[804],"Figueiredo":[805]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}