Search dblp for Publications

export results for "toc:db/conf/litp/litp1988.bht:"

 download as .bib file

@proceedings{DBLP:conf/litp/1988,
  editor       = {Jean{-}Eric Pin},
  title        = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0013106},
  doi          = {10.1007/BFB0013106},
  isbn         = {3-540-51631-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/1988.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Almeida88,
  author       = {Jorge Almeida},
  editor       = {Jean{-}Eric Pin},
  title        = {Equations for pseudovarieties},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {148--164},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013118},
  doi          = {10.1007/BFB0013118},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Almeida88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Berstel88,
  author       = {Jean Berstel},
  editor       = {Jean{-}Eric Pin},
  title        = {Finite automata and rational languages. An introduction},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {2--14},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013107},
  doi          = {10.1007/BFB0013107},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Berstel88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Birget88,
  author       = {Jean{-}Camille Birget},
  editor       = {Jean{-}Eric Pin},
  title        = {Basic techniques for two-way finite automata},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {56--64},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013111},
  doi          = {10.1007/BFB0013111},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Birget88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Crochemore88,
  author       = {Maxime Crochemore},
  editor       = {Jean{-}Eric Pin},
  title        = {Algorithms and automata},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {166--175},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013119},
  doi          = {10.1007/BFB0013119},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Crochemore88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Guessarian88,
  author       = {Ir{\`{e}}ne Guessarian},
  editor       = {Jean{-}Eric Pin},
  title        = {A characterization of fair computations of finite state {SCCS} processes},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {234--248},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013123},
  doi          = {10.1007/BFB0013123},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Guessarian88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Hashiguchi88,
  author       = {Kosaburo Hashiguchi},
  editor       = {Jean{-}Eric Pin},
  title        = {Relative star height, star height and finite automata with distance
                  functions},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {74--88},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013113},
  doi          = {10.1007/BFB0013113},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Hashiguchi88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/LucaV88,
  author       = {Aldo de Luca and
                  Stefano Varricchio},
  editor       = {Jean{-}Eric Pin},
  title        = {A finiteness condition for semigroups},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {138--147},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013117},
  doi          = {10.1007/BFB0013117},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/LucaV88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Meakin88,
  author       = {John C. Meakin},
  editor       = {Jean{-}Eric Pin},
  title        = {Automata and the word problem},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {89--103},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013114},
  doi          = {10.1007/BFB0013114},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Meakin88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Pin88,
  author       = {Jean{-}Eric Pin},
  editor       = {Jean{-}Eric Pin},
  title        = {Relational morphisms, transductions and operations on languages},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {34--55},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013110},
  doi          = {10.1007/BFB0013110},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Pin88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Rauzy88,
  author       = {G. Rauzy},
  editor       = {Jean{-}Eric Pin},
  title        = {Numbers and automata},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {176--185},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013120},
  doi          = {10.1007/BFB0013120},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Rauzy88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Restivo88,
  author       = {Antonio Restivo},
  editor       = {Jean{-}Eric Pin},
  title        = {Codes and Automata},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {186--198},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013121},
  doi          = {10.1007/BFB0013121},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Restivo88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Schutzenberger88,
  author       = {Marcel Paul Sch{\"{u}}tzenberger},
  editor       = {Jean{-}Eric Pin},
  title        = {D{\'{e}}composition polynomiale des fonctions rationnelles (English
                  summary)},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {25--33},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013109},
  doi          = {10.1007/BFB0013109},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Schutzenberger88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Simon88,
  author       = {Imre Simon},
  editor       = {Jean{-}Eric Pin},
  title        = {Properties of factorization forests},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {65--72},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013112},
  doi          = {10.1007/BFB0013112},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Simon88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Straubing88,
  author       = {Howard Straubing},
  editor       = {Jean{-}Eric Pin},
  title        = {The wreath product and its applications},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {15--24},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013108},
  doi          = {10.1007/BFB0013108},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Straubing88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/StraubingT88,
  author       = {Howard Straubing and
                  Denis Th{\'{e}}rien},
  editor       = {Jean{-}Eric Pin},
  title        = {Finite automata and computational complexity},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {199--233},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013122},
  doi          = {10.1007/BFB0013122},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/StraubingT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Thomas88,
  author       = {Wolfgang Thomas},
  editor       = {Jean{-}Eric Pin},
  title        = {Automata and quantifier hierarchies},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {104--119},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013115},
  doi          = {10.1007/BFB0013115},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Thomas88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Vergamini88,
  author       = {Didier Vergamini},
  editor       = {Jean{-}Eric Pin},
  title        = {Verification of distributed systems: an experiment},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {249--259},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013124},
  doi          = {10.1007/BFB0013124},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Vergamini88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Weil88,
  author       = {Pascal Weil},
  editor       = {Jean{-}Eric Pin},
  title        = {Concatenation product: a survey},
  booktitle    = {Formal Properties of Finite Automata and Applications, {LITP} Spring
                  School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
                  1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {386},
  pages        = {120--137},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013116},
  doi          = {10.1007/BFB0013116},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Weil88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics