Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/caap/Beauquier83,
  author       = {Joffroy Beauquier},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Prefix and Perfect Languages},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {129--140},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_6},
  doi          = {10.1007/3-540-12727-5\_6},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Beauquier83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/BestS83,
  author       = {Eike Best and
                  M. W. Shields},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Some Equivalence Results for Free Choice Nets and Simple Nets and
                  on the Periodicity of Live Free Choice Nets},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {141--154},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_7},
  doi          = {10.1007/3-540-12727-5\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/BestS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/BonuccelliLLMP83,
  author       = {Maurizio A. Bonuccelli and
                  Elena Lodi and
                  Fabrizio Luccio and
                  Piero Maestrini and
                  Linda Pagli},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {{VLSI} Mesh of Trees for Data Base Processing},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {155--166},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_8},
  doi          = {10.1007/3-540-12727-5\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/BonuccelliLLMP83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/BroyW83,
  author       = {Manfred Broy and
                  Martin Wirsing},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Generalized Heterogeneous Algebras and Partial Interpretations},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {1--34},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_1},
  doi          = {10.1007/3-540-12727-5\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/BroyW83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/ClaereboutL83,
  author       = {M. F. Claerebout and
                  Eric Lilin},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Continuite des transducteurs d'{\'{e}}tats finis d'arbes},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {167--178},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_9},
  doi          = {10.1007/3-540-12727-5\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/ClaereboutL83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/CoppoDL83,
  author       = {Mario Coppo and
                  Mariangiola Dezani{-}Ciancaglini and
                  Giuseppe Longo},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Applicative Information Systems},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {35--64},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_2},
  doi          = {10.1007/3-540-12727-5\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/CoppoDL83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/CoppoG83,
  author       = {Mario Coppo and
                  Elio Giovannetti},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Completeness Results for a Polymorphic Type System},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {179--190},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_10},
  doi          = {10.1007/3-540-12727-5\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/CoppoG83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/CourcelleL83,
  author       = {Bruno Courcelle and
                  F. Lavandier},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {A Class of Program Schemes Based on Tree Rewriting Systems},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {191--204},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_11},
  doi          = {10.1007/3-540-12727-5\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/CourcelleL83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/FagesH83,
  author       = {Fran{\c{c}}ois Fages and
                  G{\'{e}}rard P. Huet},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Complete Sets of Unifiers and Matchers in Equational Theories},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {205--220},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_12},
  doi          = {10.1007/3-540-12727-5\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/FagesH83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Fagin83,
  author       = {Ronald Fagin},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Acyclic Database Schemes (of Various Degrees): {A} Painless Introduction},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {65--89},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_3},
  doi          = {10.1007/3-540-12727-5\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Fagin83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/FlajoletS83,
  author       = {Philippe Flajolet and
                  Nasser Saheb},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Digital Search Trees and the Generation of an Exponentially Distributed
                  Variate},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {221--235},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_13},
  doi          = {10.1007/3-540-12727-5\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/FlajoletS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Galil83,
  author       = {Zvi Galil},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Efficient Algorithms for Finding Maximal Matching in Graphs},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {90--113},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_4},
  doi          = {10.1007/3-540-12727-5\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Galil83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Gonczaroski83,
  author       = {Jacob Gonczaroski},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Decidable Properties of Monadic Recursive Schemas with a Depth Parameter},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {236--254},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_14},
  doi          = {10.1007/3-540-12727-5\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Gonczaroski83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/IstrailM83,
  author       = {Sorin Istrail and
                  Cristian Masalagiu},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Nivat-Processing Systems: Decision Problems Related to Protection
                  and Synchronization},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {255--268},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_15},
  doi          = {10.1007/3-540-12727-5\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/IstrailM83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/JanssensR83,
  author       = {Dirk Janssens and
                  Grzegorz Rozenberg},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {A Survey of {NLC} Grammars},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {114--128},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_5},
  doi          = {10.1007/3-540-12727-5\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/JanssensR83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Jouannaud83,
  author       = {Jean{-}Pierre Jouannaud},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Confluent and Coherent Equational Term Rewriting Systems: Application
                  to Proofs in Abstract Data Types},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {269--283},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_16},
  doi          = {10.1007/3-540-12727-5\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Jouannaud83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Lingas83,
  author       = {Andrzej Lingas},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {An Application of Maximum Bipartite C-Matching to Subtree Isomorphism},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {284--299},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_17},
  doi          = {10.1007/3-540-12727-5\_17},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Lingas83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/MahrM83,
  author       = {Bernd Mahr and
                  Johann A. Makowsky},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Characterizing Specification Languages Which Admit Initial Semantics},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {300--316},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_18},
  doi          = {10.1007/3-540-12727-5\_18},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/MahrM83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/MakedonPS83,
  author       = {Fillia Makedon and
                  Christos H. Papadimitriou and
                  Ivan Hal Sudborough},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Topological Bandwidth},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {317--331},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_19},
  doi          = {10.1007/3-540-12727-5\_19},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/MakedonPS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Marchetti-SpaccametaT83,
  author       = {Alberto Marchetti{-}Spaccamela and
                  Maurizio Talamo},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Probabilistic Analysis of Graph Colouring Algorithms},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {332--340},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_20},
  doi          = {10.1007/3-540-12727-5\_20},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Marchetti-SpaccametaT83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/MonienS83,
  author       = {Burkhard Monien and
                  Ewald Speckenmeyer},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Some Further Approximation Algorithms for the Vertex Cover Problem},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {341--349},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_21},
  doi          = {10.1007/3-540-12727-5\_21},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/MonienS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/ParedaensG83,
  author       = {Jan Paredaens and
                  Dirk Van Gucht},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {An Application of the Theory of Graphs and Hypergraphs to the Decomposition
                  of Relational Database Schemes},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {350--366},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_22},
  doi          = {10.1007/3-540-12727-5\_22},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/ParedaensG83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Rytter83,
  author       = {Wojciech Rytter},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Remarks on the Pyramidal Structure},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {367--376},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_23},
  doi          = {10.1007/3-540-12727-5\_23},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Rytter83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/SannellaB83,
  author       = {Donald Sannella and
                  Rod M. Burstall},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Structured Theories in {LCF}},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {377--391},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_24},
  doi          = {10.1007/3-540-12727-5\_24},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/SannellaB83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Slutzki83,
  author       = {Giora Slutzki},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Alternating Tree Automata},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {392--404},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_25},
  doi          = {10.1007/3-540-12727-5\_25},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Slutzki83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Zilli83,
  author       = {Marisa Venturini Zilli},
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {Cofinality in Reduction Graphs},
  booktitle    = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  pages        = {405--416},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5\_26},
  doi          = {10.1007/3-540-12727-5\_26},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Zilli83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/caap/1983,
  editor       = {Giorgio Ausiello and
                  Marco Protasi},
  title        = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
                  Italy, March 9-11, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {159},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12727-5},
  doi          = {10.1007/3-540-12727-5},
  isbn         = {3-540-12727-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/1983.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.