Search dblp for Publications

export results for "toc:db/conf/alp/alp96.bht:"

 download as .bib file

@inproceedings{DBLP:conf/alp/Almendros-JimenezGG96,
  author       = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
                  Antonio Gavilanes{-}Franco and
                  Ana Gil{-}Luezas},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Algebraic Semantics for Functional Logic Programming with Polymorphic
                  Order-Sorted Types},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {299--313},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_20},
  doi          = {10.1007/3-540-61735-3\_20},
  timestamp    = {Thu, 14 Oct 2021 10:38:45 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Almendros-JimenezGG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/AlouiniK96,
  author       = {Ilies Alouini and
                  Claude Kirchner},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Toward the Concurrent Implementation of Computational Systems},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {1--31},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_1},
  doi          = {10.1007/3-540-61735-3\_1},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/AlouiniK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/AnconaZ96,
  author       = {Davide Ancona and
                  Elena Zucca},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {An Algebraic Approach to Mixins and Modularity},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {179--193},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_12},
  doi          = {10.1007/3-540-61735-3\_12},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/AnconaZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/BandaHM96,
  author       = {Maria J. Garc{\'{\i}}a de la Banda and
                  Manuel V. Hermenegildo and
                  Kim Marriott},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Independence in Dynamically Scheduled Logic Languages},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {47--61},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_3},
  doi          = {10.1007/3-540-61735-3\_3},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/BandaHM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Benhamou96,
  author       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Heterogeneous Constraint Solving},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {62--76},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_4},
  doi          = {10.1007/3-540-61735-3\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Benhamou96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/BrimJGK96,
  author       = {Lubos Brim and
                  Jean{-}Marie Jacquet and
                  David R. Gilbert and
                  Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {A Process Algebra for Synchronous Concurrent Constraint Programming},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {165--178},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_11},
  doi          = {10.1007/3-540-61735-3\_11},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/BrimJGK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Caires96,
  author       = {Lu{\'{\i}}s Caires},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {A Language for the Logical Specification of Processes and Relations},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {150--164},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_10},
  doi          = {10.1007/3-540-61735-3\_10},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Caires96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/FagesG96,
  author       = {Fran{\c{c}}ois Fages and
                  Roberta Gori},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {A Hierarchy of Semantics for Normal Constraint Logic Programs},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {77--91},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_5},
  doi          = {10.1007/3-540-61735-3\_5},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/FagesG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/FassbenderM96,
  author       = {Heinz Fa{\ss}bender and
                  Sebastian Maneth},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {A Strict Border for the Decidability of E-Unification for Recursive
                  Functions},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {194--208},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_13},
  doi          = {10.1007/3-540-61735-3\_13},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/FassbenderM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/FerreiraKP96,
  author       = {Maria C. F. Ferreira and
                  Delia Kesner and
                  Laurence Puel},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Lambda-Calculi with Explicit Substitutions and Composition Which Preserve
                  Beta-Strong Normalization},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {284--298},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_19},
  doi          = {10.1007/3-540-61735-3\_19},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/FerreiraKP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/GiacobazziR96,
  author       = {Roberto Giacobazzi and
                  Francesco Ranzato},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Complementing Logic Program Semantics},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {238--253},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_16},
  doi          = {10.1007/3-540-61735-3\_16},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/GiacobazziR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/KennawayOV96,
  author       = {Richard Kennaway and
                  Vincent van Oostrom and
                  Fer{-}Jan de Vries},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Meaningless Terms in Rewriting},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {254--268},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_17},
  doi          = {10.1007/3-540-61735-3\_17},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/KennawayOV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/KhasidashviliG96,
  author       = {Zurab Khasidashvili and
                  John R. W. Glauert},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Discrete Normalization and Standardization in Deterministic Residual
                  Structures},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {135--149},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_9},
  doi          = {10.1007/3-540-61735-3\_9},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/KhasidashviliG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/ManoO96,
  author       = {Ken Mano and
                  Mizuhito Ogawa},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Unique Normal Form Property of Higher-Order Rewriting Systems},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {269--283},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_18},
  doi          = {10.1007/3-540-61735-3\_18},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/ManoO96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Marchiori96,
  author       = {Massimo Marchiori},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Unravelings and Ultra-properties},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {107--121},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_7},
  doi          = {10.1007/3-540-61735-3\_7},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Marchiori96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Marchiori96a,
  author       = {Elena Marchiori},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Prime Factorizations of Abstract Domains Using First Order Logic},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {209--223},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_14},
  doi          = {10.1007/3-540-61735-3\_14},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Marchiori96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Nazareth96,
  author       = {Dieter Nazareth},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Specifying Type Systems},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {314--329},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_21},
  doi          = {10.1007/3-540-61735-3\_21},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Nazareth96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Nazareth96a,
  author       = {Dieter Nazareth},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {The Semantic Treatment of Polymorphic Specification Languages},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {330--344},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_22},
  doi          = {10.1007/3-540-61735-3\_22},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Nazareth96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/OlveszkyL96,
  author       = {Peter Csaba {\"{O}}lveczky and
                  Olav Lysne},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Order-Sorted Termination: The Unsorted Way},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {92--106},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_6},
  doi          = {10.1007/3-540-61735-3\_6},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/OlveszkyL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/PierroD96,
  author       = {Alessandra Di Pierro and
                  Wlodzimierz Drabent},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {On Negation As Instantiation},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_2},
  doi          = {10.1007/3-540-61735-3\_2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/PierroD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Suzuki96,
  author       = {Taro Suzuki},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Standardization Theorem Revisited},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {122--134},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_8},
  doi          = {10.1007/3-540-61735-3\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Suzuki96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Volpe96,
  author       = {Paolo Volpe},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Abstractions of Uniform Proofs},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {224--237},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_15},
  doi          = {10.1007/3-540-61735-3\_15},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Volpe96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/alp/1996,
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3},
  doi          = {10.1007/3-540-61735-3},
  isbn         = {3-540-61735-3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/1996.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.