Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/caap/BakelSB92,
  author       = {Steffen van Bakel and
                  Sjaak Smetsers and
                  Simon Brock},
  editor       = {Jean{-}Claude Raoult},
  title        = {Partial Type Assignment in Left Linear Apllicative Term Rewriting
                  Systems},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {300--321},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_17},
  doi          = {10.1007/3-540-55251-0\_17},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/BakelSB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/BarbaneraB92,
  author       = {Franco Barbanera and
                  Stefano Berardi},
  editor       = {Jean{-}Claude Raoult},
  title        = {A Constructive Valuation Interpretation for Classical Logic and its
                  Use in Witness Extraction},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {1--23},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_1},
  doi          = {10.1007/3-540-55251-0\_1},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/BarbaneraB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/BergeronFS92,
  author       = {Fran{\c{c}}ois Bergeron and
                  Philippe Flajolet and
                  Bruno Salvy},
  editor       = {Jean{-}Claude Raoult},
  title        = {Varieties of Increasing Trees},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {24--48},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_2},
  doi          = {10.1007/3-540-55251-0\_2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/BergeronFS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Bertot92,
  author       = {Yves Bertot},
  editor       = {Jean{-}Claude Raoult},
  title        = {Origin Functions in Lambda-Calculus and Term Rewriting Systems},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {49--65},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_3},
  doi          = {10.1007/3-540-55251-0\_3},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Bertot92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Cardone92,
  author       = {Felice Cardone},
  editor       = {Jean{-}Claude Raoult},
  title        = {An Algebraic Approach to the Interpretation of Recursive Types},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {66--85},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_4},
  doi          = {10.1007/3-540-55251-0\_4},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Cardone92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Caron92,
  author       = {Anne{-}C{\'{e}}cile Caron},
  editor       = {Jean{-}Claude Raoult},
  title        = {Decidability of Reachability and Disjoint Union of Term Rewriting
                  Systems},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {86--101},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_5},
  doi          = {10.1007/3-540-55251-0\_5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Caron92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/CoppoG92,
  author       = {Mario Coppo and
                  Paola Giannini},
  editor       = {Jean{-}Claude Raoult},
  title        = {A Complete Type Inference Algorithm for Simple Intersection Types},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {102--123},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_6},
  doi          = {10.1007/3-540-55251-0\_6},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caap/CoppoG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Courcelle92,
  author       = {Bruno Courcelle},
  editor       = {Jean{-}Claude Raoult},
  title        = {Monadic Second-Order Graph Transductions},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {124--144},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_7},
  doi          = {10.1007/3-540-55251-0\_7},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Courcelle92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Dam92,
  author       = {Mads Dam},
  editor       = {Jean{-}Claude Raoult},
  title        = {CTL* and ECTL* as Fragments of the Modal {\(\mathrm{\mu}\)}-Calculus},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {145--164},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_8},
  doi          = {10.1007/3-540-55251-0\_8},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Dam92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Heckmann92,
  author       = {Reinhold Heckmann},
  editor       = {Jean{-}Claude Raoult},
  title        = {Power Domains Supporting Recursion and Failure},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {165--181},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_9},
  doi          = {10.1007/3-540-55251-0\_9},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Heckmann92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/HsuPL92,
  author       = {Wen{-}Jing Hsu and
                  Carl V. Page and
                  Jen{-}Shiuh Liu},
  editor       = {Jean{-}Claude Raoult},
  title        = {Parallel Contraction of Fibonacci Trees and Prefix Computations on
                  a Family of Interconnection Topologies},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {182--202},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_10},
  doi          = {10.1007/3-540-55251-0\_10},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caap/HsuPL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Maggiolo-SchettiniW92,
  author       = {Andrea Maggiolo{-}Schettini and
                  J{\'{o}}zef Winkowski},
  editor       = {Jean{-}Claude Raoult},
  title        = {A Programming Language for Deriving Hypergraphs},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {221--231},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_12},
  doi          = {10.1007/3-540-55251-0\_12},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Maggiolo-SchettiniW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/MontanariR92,
  author       = {Ugo Montanari and
                  Francesca Rossi},
  editor       = {Jean{-}Claude Raoult},
  title        = {Graph Grammars as Context-Dependent Rewriting Systems: {A} Partial
                  Ordering Semantics},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {232--247},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_13},
  doi          = {10.1007/3-540-55251-0\_13},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caap/MontanariR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/PengP92,
  author       = {Wuxu Peng and
                  S. Purushothaman},
  editor       = {Jean{-}Claude Raoult},
  title        = {Empty Stack Pushdown Omega-Tree Automata},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {248--264},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_14},
  doi          = {10.1007/3-540-55251-0\_14},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/PengP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Potthoff92,
  author       = {Andreas Potthoff},
  editor       = {Jean{-}Claude Raoult},
  title        = {Modulo Counting Quantifiers Over Finite Trees},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {265--278},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_15},
  doi          = {10.1007/3-540-55251-0\_15},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Potthoff92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/Seidl92,
  author       = {Helmut Seidl},
  editor       = {Jean{-}Claude Raoult},
  title        = {Finite Tree Automata with Cost Functions},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {279--299},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_16},
  doi          = {10.1007/3-540-55251-0\_16},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/Seidl92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/VergauwenL92,
  author       = {Bart Vergauwen and
                  Johan Lewi},
  editor       = {Jean{-}Claude Raoult},
  title        = {A Linear Algorithm for Solving Fixed-Point Equations on Transition
                  Systems},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {322--341},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_18},
  doi          = {10.1007/3-540-55251-0\_18},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/VergauwenL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/WolterL92,
  author       = {Uwe Wolter and
                  Michael L{\"{o}}we},
  editor       = {Jean{-}Claude Raoult},
  title        = {Beyond Conditional Equations: Quasi-Initial Semantics for Parametric
                  Algebraic Specifications},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {342--361},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_19},
  doi          = {10.1007/3-540-55251-0\_19},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/WolterL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/deLiguoroP92,
  author       = {Ugo de'Liguoro and
                  Adolfo Piperno},
  editor       = {Jean{-}Claude Raoult},
  title        = {Must Preorder in Non-Deterministic Untyped Lambda-Calculus},
  booktitle    = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  pages        = {203--220},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0\_11},
  doi          = {10.1007/3-540-55251-0\_11},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/deLiguoroP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/caap/1992,
  editor       = {Jean{-}Claude Raoult},
  title        = {{CAAP} '92, 17th Colloquium on Trees in Algebra and Programming, Rennes,
                  France, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {581},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55251-0},
  doi          = {10.1007/3-540-55251-0},
  isbn         = {3-540-55251-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/1992.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.