Search dblp for Publications

export results for "toc:db/conf/caap/caap90.bht:"

 download as .bib file

@inproceedings{DBLP:conf/caap/BelliaBO90,
  author       = {Marco Bellia and
                  Michele Bugliesi and
                  M. Eugenia Occhiuto},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Combinatory Forms for Equational Programming: Instances, Unification
                  and Narrowing},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {42--56},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_39},
  doi          = {10.1007/3-540-52590-4\_39},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/BelliaBO90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/BoudolL90,
  author       = {G{\'{e}}rard Boudol and
                  Kim Guldstrand Larsen},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Graphical versus Logical Specifications},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {57--71},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_40},
  doi          = {10.1007/3-540-52590-4\_40},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/BoudolL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/CaiPT90,
  author       = {Jiazhen Cai and
                  Robert Paige and
                  Robert Endre Tarjan},
  editor       = {Andr{\'{e}} Arnold},
  title        = {More Efficient Bottom-Up Tree Pattern Matching},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {72--86},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_41},
  doi          = {10.1007/3-540-52590-4\_41},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/CaiPT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Caucal90,
  author       = {Didier Caucal},
  editor       = {Andr{\'{e}} Arnold},
  title        = {On the Regular Structure of Prefix Rewriting},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {87--102},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_42},
  doi          = {10.1007/3-540-52590-4\_42},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Caucal90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/ClarkeBK90,
  author       = {Edmund M. Clarke and
                  Anca Browne and
                  Robert P. Kurshan},
  editor       = {Andr{\'{e}} Arnold},
  title        = {A Unified Approach For Showing Language Containment And Equivalence
                  Between Various Types Of Omega-Automata},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {103--116},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_43},
  doi          = {10.1007/3-540-52590-4\_43},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/ClarkeBK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/CrochemoreN90,
  author       = {Maxime Crochemore and
                  Jean N{\'{e}}raud},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Unitary Monoid with Two Generators: An Algorithmic Point of View},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {117--131},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_44},
  doi          = {10.1007/3-540-52590-4\_44},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caap/CrochemoreN90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/CurienG90,
  author       = {Pierre{-}Louis Curien and
                  Giorgio Ghelli},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Coherence of Subsumption},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {132--146},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_45},
  doi          = {10.1007/3-540-52590-4\_45},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/CurienG90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/EngbergW90,
  author       = {Uffe Engberg and
                  Glynn Winskel},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Petri Nets as Models of Linear Logic},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {147--161},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_46},
  doi          = {10.1007/3-540-52590-4\_46},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/EngbergW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/FerrariM90,
  author       = {Gian{-}Luigi Ferrari and
                  Ugo Montanari},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Towards the Unification of Models for Concurrency},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {162--176},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_47},
  doi          = {10.1007/3-540-52590-4\_47},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/FerrariM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/GenietST90,
  author       = {Dominique Geniet and
                  Ren{\'{e}} Schott and
                  Lo{\"{y}}s Thimonier},
  editor       = {Andr{\'{e}} Arnold},
  title        = {A Markovian Concurrency Measure},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {177--190},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_48},
  doi          = {10.1007/3-540-52590-4\_48},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/GenietST90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/HirstH90,
  author       = {Tirza Hirst and
                  David Harel},
  editor       = {Andr{\'{e}} Arnold},
  title        = {On the Power of Bounded Concurrency {II:} The Pushdown Automata Level},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_37},
  doi          = {10.1007/3-540-52590-4\_37},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/HirstH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Holm90,
  author       = {Kristoffer H{\o}gsbro Holm},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Graph Matching in Operational Semantics and Typing},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {191--205},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_49},
  doi          = {10.1007/3-540-52590-4\_49},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Holm90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/KfouryTU90,
  author       = {A. J. Kfoury and
                  Jerzy Tiuryn and
                  Pawel Urzyczyn},
  editor       = {Andr{\'{e}} Arnold},
  title        = {{ML} Typability is DEXTIME-Complete},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {206--220},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_50},
  doi          = {10.1007/3-540-52590-4\_50},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caap/KfouryTU90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Kounalis90,
  author       = {Emmanuel Kounalis},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Testing for Inductive (Co)-Reducibility},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {221--238},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_51},
  doi          = {10.1007/3-540-52590-4\_51},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Kounalis90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/LouchardS90,
  author       = {Guy Louchard and
                  Ren{\'{e}} Schott},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Probabilistic Analysis of Some Distributed Algorithms},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {239--253},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_52},
  doi          = {10.1007/3-540-52590-4\_52},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/LouchardS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Schwartzbach90,
  author       = {Michael I. Schwartzbach},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Infinite Values in Hierarchical Imperative Types},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {254--268},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_53},
  doi          = {10.1007/3-540-52590-4\_53},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Schwartzbach90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Seidl90,
  author       = {Helmut Seidl},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Equivalence of Finite-Valued Bottom-up Finite State Tree Transducers
                  Is Decidable},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {269--284},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_54},
  doi          = {10.1007/3-540-52590-4\_54},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Seidl90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Viennot90,
  author       = {Xavier G{\'{e}}rard Viennot},
  editor       = {Andr{\'{e}} Arnold},
  title        = {Trees Everywhere},
  booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  pages        = {18--41},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4\_38},
  doi          = {10.1007/3-540-52590-4\_38},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Viennot90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/caap/1990,
  editor       = {Andr{\'{e}} Arnold},
  title        = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
                  Denmark, May 15-18, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {431},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52590-4},
  doi          = {10.1007/3-540-52590-4},
  isbn         = {3-540-52590-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.