Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/caap/Alessi94,
  author       = {Fabio Alessi},
  editor       = {Sophie Tison},
  title        = {Type Preorders},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {37--51},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017472},
  doi          = {10.1007/BFB0017472},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Alessi94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/BruscoliLLM94,
  author       = {Paola Bruscoli and
                  Francesca Levi and
                  Giorgio Levi and
                  Maria Chiara Meo},
  editor       = {Sophie Tison},
  title        = {Compilative Constructive Negation in Constraint Logic Programs},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {52--67},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017473},
  doi          = {10.1007/BFB0017473},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/BruscoliLLM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/ComonT94,
  author       = {Hubert Comon and
                  Ralf Treinen},
  editor       = {Sophie Tison},
  title        = {Ordering Constraints on Trees},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017470},
  doi          = {10.1007/BFB0017470},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/ComonT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/CournierH94,
  author       = {Alain Cournier and
                  Michel Habib},
  editor       = {Sophie Tison},
  title        = {A New Linear Algorithm for Modular Decomposition},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {68--84},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017474},
  doi          = {10.1007/BFB0017474},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/CournierH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Drewes94,
  author       = {Frank Drewes},
  editor       = {Sophie Tison},
  title        = {A Lower Bound on the Growth of Functions Computed by Tree Transductions},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {100--114},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017476},
  doi          = {10.1007/BFB0017476},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Drewes94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Engelfriet94,
  author       = {Joost Engelfriet},
  editor       = {Sophie Tison},
  title        = {Graph Grammars and Tree Transducers},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {15--36},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017471},
  doi          = {10.1007/BFB0017471},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Engelfriet94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Esparza94,
  author       = {Javier Esparza},
  editor       = {Sophie Tison},
  title        = {On the Decidability of Model Checking for Several {\(\mathrm{\mu}\)}-calculi
                  and Petri Nets},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {115--129},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017477},
  doi          = {10.1007/BFB0017477},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Esparza94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/GiancarloM94,
  author       = {Raffaele Giancarlo and
                  Filippo Mignosi},
  editor       = {Sophie Tison},
  title        = {Generalizations of the Periodicity Theorem of Fine and Wilf},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {130--141},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017478},
  doi          = {10.1007/BFB0017478},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/GiancarloM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Groote94,
  author       = {Philippe de Groote},
  editor       = {Sophie Tison},
  title        = {A CPS-Translation of the Lambda-{\(\mathrm{\mu}\)}-Calculus},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {85--99},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017475},
  doi          = {10.1007/BFB0017475},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Groote94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Heckmann94,
  author       = {Reinhold Heckmann},
  editor       = {Sophie Tison},
  title        = {Probabilistic Domains},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {142--156},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017479},
  doi          = {10.1007/BFB0017479},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Heckmann94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/HofbauerHK94,
  author       = {Dieter Hofbauer and
                  Maria Huber and
                  Gregory Kucherov},
  editor       = {Sophie Tison},
  title        = {Some Results on Top-Context-Free Tree Languages},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {157--171},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017480},
  doi          = {10.1007/BFB0017480},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/HofbauerHK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/KalrlundS94,
  author       = {Nils Klarlund and
                  Michael I. Schwartzbach},
  editor       = {Sophie Tison},
  title        = {Graphs and Decidable Transductions Based on Edge Constraints (Extended
                  Abstract)},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {187--201},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017482},
  doi          = {10.1007/BFB0017482},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/KalrlundS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Khasidashvili94,
  author       = {Zurab Khasidashvili},
  editor       = {Sophie Tison},
  title        = {On Higher Order Recursive Program Schemes},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {172--186},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017481},
  doi          = {10.1007/BFB0017481},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Khasidashvili94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Kuske94,
  author       = {Dietrich Kuske},
  editor       = {Sophie Tison},
  title        = {Nondeterministic Automata with Concurrency Relations and Domains},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {202--217},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017483},
  doi          = {10.1007/BFB0017483},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Kuske94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/MerliniSV94,
  author       = {Donatella Merlini and
                  Renzo Sprugnoli and
                  M. Cecilia Verri},
  editor       = {Sophie Tison},
  title        = {Algebraic and Combinatorial Properties of Simple, Coloured Walks},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {218--233},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017484},
  doi          = {10.1007/BFB0017484},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/MerliniSV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/MetivierS94,
  author       = {Yves M{\'{e}}tivier and
                  Nasser Saheb},
  editor       = {Sophie Tison},
  title        = {Probabilistic Analysis of an Election Algorithm in a Tree},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {234--245},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017485},
  doi          = {10.1007/BFB0017485},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/MetivierS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Noll94,
  author       = {Thomas Noll},
  editor       = {Sophie Tison},
  title        = {On the First-Order Equivalence of Call-by-Name and Call-by-Value},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {246--260},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017486},
  doi          = {10.1007/BFB0017486},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Noll94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Ohlebusch94,
  author       = {Enno Ohlebusch},
  editor       = {Sophie Tison},
  title        = {On the Modularity of Confluence of Constructor-Sharing Term Rewriting
                  Systems},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {261--275},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017487},
  doi          = {10.1007/BFB0017487},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Ohlebusch94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Palsberg94,
  author       = {Jens Palsberg},
  editor       = {Sophie Tison},
  title        = {Flobal Program Analysis in Constraint Form},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {276--290},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017488},
  doi          = {10.1007/BFB0017488},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Palsberg94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Peled94,
  author       = {Doron A. Peled},
  editor       = {Sophie Tison},
  title        = {On Projective and Separable Properties},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {291--308},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017489},
  doi          = {10.1007/BFB0017489},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Peled94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/RambowS94,
  author       = {Owen Rambow and
                  Giorgio Satta},
  editor       = {Sophie Tison},
  title        = {A Rank Hierarchy for Determinsitic Tree-Walking Transducers},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {309--321},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017490},
  doi          = {10.1007/BFB0017490},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caap/RambowS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/RatoandromananaR94,
  author       = {Bodonirina Ratoandromanana and
                  Denis Robilliard},
  editor       = {Sophie Tison},
  title        = {Superposition in Picture Languages},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {322--334},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017491},
  doi          = {10.1007/BFB0017491},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/RatoandromananaR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Sorensen94,
  author       = {Morten Heine S{\o}rensen},
  editor       = {Sophie Tison},
  title        = {Grammar-Based Data-Flow Analysis to Stop Deforestation},
  booktitle    = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  pages        = {335--351},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017492},
  doi          = {10.1007/BFB0017492},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Sorensen94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/caap/1994,
  editor       = {Sophie Tison},
  title        = {Trees in Algebra and Programming - CAAP'94, 19th International Colloquium,
                  Edinburgh, UK, April 11-13, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {787},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0017469},
  doi          = {10.1007/BFB0017469},
  isbn         = {3-540-57879-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/1994.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.