Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/caap/caap90.bht:"
@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} }
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.