Search dblp for Publications

export results for "toc:db/conf/flops/flops2002.bht:"

 download as .bib file

@inproceedings{DBLP:conf/flops/AntoyH02,
  author       = {Sergio Antoy and
                  Michael Hanus},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Functional Logic Design Patterns},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {67--87},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_4},
  doi          = {10.1007/3-540-45788-7\_4},
  timestamp    = {Sun, 02 Jun 2019 21:12:36 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/AntoyH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/BandaDMS02,
  author       = {Maria J. Garc{\'{\i}}a de la Banda and
                  Bart Demoen and
                  Kim Marriott and
                  Peter J. Stuckey},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {To the Gates of {HAL:} {A} {HAL} Tutorial},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {47--66},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_3},
  doi          = {10.1007/3-540-45788-7\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/BandaDMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/BarbosaO02,
  author       = {Lu{\'{\i}}s Soares Barbosa and
                  Jos{\'{e}} Nuno Oliveira},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Coinductive Interpreters for Process Calculi},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {183--197},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_11},
  doi          = {10.1007/3-540-45788-7\_11},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/BarbosaO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/CaballeroL02,
  author       = {Rafael Caballero and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Dynamic-Cut with Definitional Trees},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {245--258},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_15},
  doi          = {10.1007/3-540-45788-7\_15},
  timestamp    = {Wed, 23 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/CaballeroL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/DanvyS02,
  author       = {Olivier Danvy and
                  Ulrik Pagh Schultz},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Lambda-Lifting in Quadratic Time},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {134--151},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_8},
  doi          = {10.1007/3-540-45788-7\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/DanvyS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/Futatsugi02,
  author       = {Kokichi Futatsugi},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Formal Methods in CafeOBJ},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_1},
  doi          = {10.1007/3-540-45788-7\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/Futatsugi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/Garcia-DiazN02,
  author       = {Miguel Garc{\'{\i}}a{-}D{\'{\i}}az and
                  Susana Nieva},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Solving Mixed Quantified Constraints over a Domain Based on Real Numbers
                  and Herbrand Terms},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {103--118},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_6},
  doi          = {10.1007/3-540-45788-7\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/Garcia-DiazN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/Hasegawa02,
  author       = {Masahito Hasegawa},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Linearly Used Effects: Monadic and {CPS} Transformations into the
                  Linear Lambda Calculus},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {167--182},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_10},
  doi          = {10.1007/3-540-45788-7\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/Hasegawa02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/Iranzo02,
  author       = {Pascual Juli{\'{a}}n Iranzo},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {On the Correctness of the Factoring Transformation},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {119--133},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_7},
  doi          = {10.1007/3-540-45788-7\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/Iranzo02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/KasuyaSA02,
  author       = {Hideto Kasuya and
                  Masahiko Sakai and
                  Kiyoshi Agusa},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Descendants and Head Normalization of Higher-Order Rewrite Systems},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {198--211},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_12},
  doi          = {10.1007/3-540-45788-7\_12},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/KasuyaSA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/Lopez-FraguasS02,
  author       = {Francisco Javier L{\'{o}}pez{-}Fraguas and
                  Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Narrowing Failure in Functional Logic Programming},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {212--227},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_13},
  doi          = {10.1007/3-540-45788-7\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/Lopez-FraguasS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/LoyerS02,
  author       = {Yann Loyer and
                  Umberto Straccia},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {The Well-Founded Semantics in Normal Logic Programs with Uncertainty},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {152--166},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_9},
  doi          = {10.1007/3-540-45788-7\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/LoyerS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/Meer02,
  author       = {Klaus Meer},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {On Consistency and Width Notions for Constraint Programs with Algebraic
                  Constraints},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {88--102},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_5},
  doi          = {10.1007/3-540-45788-7\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/Meer02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/PetterssonSJ02,
  author       = {Mikael Pettersson and
                  Konstantinos Sagonas and
                  Erik Johansson},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {228--244},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_14},
  doi          = {10.1007/3-540-45788-7\_14},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/PetterssonSJ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/Porto02,
  author       = {Ant{\'{o}}nio Porto},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Structural Abstraction and Application in Logic Programming},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {275--289},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_17},
  doi          = {10.1007/3-540-45788-7\_17},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/Porto02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/SimeonW02,
  author       = {J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
                  Philip Wadler},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {The Essence of {XML} (Preliminary Version)},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {21--46},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_2},
  doi          = {10.1007/3-540-45788-7\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/SimeonW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/Smaus02,
  author       = {Jan{-}Georg Smaus},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {The Head Condition and Polymorphic Recursion},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {259--274},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_16},
  doi          = {10.1007/3-540-45788-7\_16},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/Smaus02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/SumiiB02,
  author       = {Eijiro Sumii and
                  Hideo Bannai},
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {{VM} lambda: {A} Functional Calculusfor Scientific Discovery},
  booktitle    = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  pages        = {290--304},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7\_18},
  doi          = {10.1007/3-540-45788-7\_18},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/SumiiB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/flops/2002,
  editor       = {Zhenjiang Hu and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
                  2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2441},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45788-7},
  doi          = {10.1007/3-540-45788-7},
  isbn         = {3-540-44233-2},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/2002.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.