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