default search action
Search dblp for Publications
export results for "toc:db/journals/ita/ita36.bht:"
@article{DBLP:journals/ita/AcetoEI02, author = {Luca Aceto and Zolt{\'{a}}n {\'{E}}sik and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {A Fully Equational Proof of Parikh's Theorem}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {2}, pages = {129--153}, year = {2002}, url = {https://doi.org/10.1051/ita:2002007}, doi = {10.1051/ITA:2002007}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/AcetoEI02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Beran02, author = {Martin Beran}, title = {Pipelined Decomposable {BSP} Computers}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {1}, pages = {43--65}, year = {2002}, url = {https://doi.org/10.1051/ita:2002004}, doi = {10.1051/ITA:2002004}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Beran02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/BernetJW02, author = {Julien Bernet and David Janin and Igor Walukiewicz}, title = {Permissive strategies: from parity games to safety games}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {3}, pages = {261--275}, year = {2002}, url = {https://doi.org/10.1051/ita:2002013}, doi = {10.1051/ITA:2002013}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/BernetJW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/BozapalidisL02, author = {Symeon Bozapalidis and Olympia Louscou{-}Bozapalidou}, title = {Polypodic codes}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {1}, pages = {5--28}, year = {2002}, url = {https://doi.org/10.1051/ita:2002002}, doi = {10.1051/ITA:2002002}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/BozapalidisL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/BrosenneHW02, author = {Henrik Brosenne and Matthias Homeister and Stephan Waack}, title = {Characterizing the Complexity of Boolean Functions represented by Well-Structured Graph-Driven Parity-FBDDs}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {3}, pages = {229--247}, year = {2002}, url = {https://doi.org/10.1051/ita:2002011}, doi = {10.1051/ITA:2002011}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/BrosenneHW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/CarpiL02, author = {Arturo Carpi and Aldo de Luca}, title = {On the distribution of characteristic parameters of words}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {1}, pages = {67--96}, year = {2002}, url = {https://doi.org/10.1051/ita:2002006}, doi = {10.1051/ITA:2002006}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/CarpiL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/CarpiL02a, author = {Arturo Carpi and Aldo de Luca}, title = {On the distribution of characteristic parameters of words {II}}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {1}, pages = {97--127}, year = {2002}, url = {https://doi.org/10.1051/ita:2002005}, doi = {10.1051/ITA:2002005}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/CarpiL02a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Cortier02, author = {V{\'{e}}ronique Cortier}, title = {About the decision of reachability for register machines}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {4}, pages = {341--358}, year = {2002}, url = {https://doi.org/10.1051/ita:2003001}, doi = {10.1051/ITA:2003001}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Cortier02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/DuvalL02, author = {Jean{-}Pierre Duval and Arnaud Lefebvre}, title = {Words over an ordered alphabet and suffix permutations}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {3}, pages = {249--259}, year = {2002}, url = {https://doi.org/10.1051/ita:2002012}, doi = {10.1051/ITA:2002012}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/DuvalL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/ErkokLM02, author = {Levent Erk{\"{o}}k and John Launchbury and Andrew Moran}, title = {Semantics of value recursion for Monadic Input/Output}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {2}, pages = {155--180}, year = {2002}, url = {https://doi.org/10.1051/ita:2002008}, doi = {10.1051/ITA:2002008}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/ErkokLM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Frougny02, author = {Christiane Frougny}, title = {On multiplicatively dependent linear numeration systems, and periodic points}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {3}, pages = {293--314}, year = {2002}, url = {https://doi.org/10.1051/ita:2002015}, doi = {10.1051/ITA:2002015}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Frougny02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/HarjuN02, author = {Tero Harju and Dirk Nowotka}, title = {Density of Critical Factorizations}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {3}, pages = {315--327}, year = {2002}, url = {https://doi.org/10.1051/ita:2002016}, doi = {10.1051/ITA:2002016}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/HarjuN02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Heam02, author = {Pierre{-}Cyrille H{\'{e}}am}, title = {On Shuffle Ideals}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {4}, pages = {359--384}, year = {2002}, url = {https://doi.org/10.1051/ita:2003002}, doi = {10.1051/ITA:2003002}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Heam02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/JustinP02, author = {Jacques Justin and Giuseppe Pirillo}, title = {On a characteristic property of {ARNOUX-RAUZY} sequences}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {4}, pages = {385--388}, year = {2002}, url = {https://doi.org/10.1051/ita:2003005}, doi = {10.1051/ITA:2003005}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/JustinP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/KatisSW02, author = {Piergiulio Katis and Nicoletta Sabadini and Robert F. C. Walters}, title = {Feedback, trace and fixed-point semantics}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {2}, pages = {181--194}, year = {2002}, url = {https://doi.org/10.1051/ita:2002009}, doi = {10.1051/ITA:2002009}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/KatisSW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Latapy02, author = {Matthieu Latapy}, title = {Integer Partitions, Tilings of \emph{2D}-gons and Lattices}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {4}, pages = {389--399}, year = {2002}, url = {https://doi.org/10.1051/ita:2003004}, doi = {10.1051/ITA:2003004}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Latapy02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/MereghettiP02, author = {Carlo Mereghetti and Beatrice Palano}, title = {On the Size of One-way Quantum Finite Automata with Periodic Behaviors}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {3}, pages = {277--291}, year = {2002}, url = {https://doi.org/10.1051/ita:2002014}, doi = {10.1051/ITA:2002014}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/MereghettiP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/MignosiZ02, author = {Filippo Mignosi and Luca Q. Zamboni}, title = {A Note on a Conjecture of Duval and Sturmian Words}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {1}, pages = {1--3}, year = {2002}, url = {https://doi.org/10.1051/ita:2002001}, doi = {10.1051/ITA:2002001}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/MignosiZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Santocanale02, author = {Luigi Santocanale}, title = {{\(\mathrm{\mu}\)}-Bicomplete Categories and Parity Games}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {2}, pages = {195--227}, year = {2002}, url = {https://doi.org/10.1051/ita:2002010}, doi = {10.1051/ITA:2002010}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Santocanale02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Selivanov02, author = {Victor L. Selivanov}, title = {Relating Automata-theoretic Hierarchies to Complexity-theoretic Hierarchies}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {1}, pages = {29--42}, year = {2002}, url = {https://doi.org/10.1051/ita:2002003}, doi = {10.1051/ITA:2002003}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Selivanov02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/Zito02, author = {Michele Zito}, title = {An Upper Bound on the Space Complexity of Random Formulae in Resolution}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {36}, number = {4}, pages = {329--339}, year = {2002}, url = {https://doi.org/10.1051/ita:2003003}, doi = {10.1051/ITA:2003003}, timestamp = {Mon, 19 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/Zito02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.