Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/alp/AlpuenteFV94,
  author       = {Mar{\'{\i}}a Alpuente and
                  Moreno Falaschi and
                  Germ{\'{a}}n Vidal},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Compositional Analysis for Equational Horn Programs},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {77--94},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_8},
  doi          = {10.1007/3-540-58431-5\_8},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/AlpuenteFV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/AntoyM94,
  author       = {Sergio Antoy and
                  Aart Middeldorp},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {A Sequential Reduction Strategy},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {168--185},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_13},
  doi          = {10.1007/3-540-58431-5\_13},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/AntoyM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Balbiani94,
  author       = {Philippe Balbiani},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Equation Solving in Projective Planes and Planar Ternary Rings},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {95--113},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_9},
  doi          = {10.1007/3-540-58431-5\_9},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Balbiani94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/BidoitH94,
  author       = {Michel Bidoit and
                  Rolf Hennicker},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Proving Behavioural Theorems with Standard First-Order Logic},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {41--58},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_6},
  doi          = {10.1007/3-540-58431-5\_6},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/BidoitH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/BossiC94,
  author       = {Annalisa Bossi and
                  Nicoletta Cocco},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Preserving Universal Termination through Unfold/Fold},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {269--286},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_19},
  doi          = {10.1007/3-540-58431-5\_19},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/BossiC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Bouhoula94,
  author       = {Adel Bouhoula},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Sufficient Completeness and Parameterized Proofs by Induction},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {23--40},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_5},
  doi          = {10.1007/3-540-58431-5\_5},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Bouhoula94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/BuenoHMR94,
  author       = {Francisco Bueno and
                  Manuel V. Hermenegildo and
                  Ugo Montanari and
                  Francesca Rossi},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {From Eventual to Atomic Locally Atomic {CC} Programs: {A} Concurrent
                  Semantics},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {114--132},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_10},
  doi          = {10.1007/3-540-58431-5\_10},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/alp/BuenoHMR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/CodishM94,
  author       = {Michael Codish and
                  Grigory Mashevitzky},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Proving Implications by Algebraic Approximation},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {6--22},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_4},
  doi          = {10.1007/3-540-58431-5\_4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/alp/CodishM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/FerreiraZ94,
  author       = {Maria C. F. Ferreira and
                  Hans Zantema},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Syntactical Analysis of Total Termination},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {204--222},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_15},
  doi          = {10.1007/3-540-58431-5\_15},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/FerreiraZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Gramlich94,
  author       = {Bernhard Gramlich},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {On Modularity of Termination and Confluence Properties of Conditional
                  Rewrite Systems},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {186--203},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_14},
  doi          = {10.1007/3-540-58431-5\_14},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Gramlich94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/JonesR94,
  author       = {Neil D. Jones and
                  Mads Rosendahl},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Higher-Order Minimal Functional Graphs},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {242--252},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_17},
  doi          = {10.1007/3-540-58431-5\_17},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/JonesR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Kesner94,
  author       = {Delia Kesner},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Reasoning about Layered, Wildcard and Product Patterns},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {253--268},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_18},
  doi          = {10.1007/3-540-58431-5\_18},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Kesner94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Marchiori94,
  author       = {Massimo Marchiori},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Logic Programs as term Rewriting Systems},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {223--241},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_16},
  doi          = {10.1007/3-540-58431-5\_16},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Marchiori94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Marchiori94a,
  author       = {Elena Marchiori},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {A Logic for Variable Aliasing in Logic Programs},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {287--304},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_20},
  doi          = {10.1007/3-540-58431-5\_20},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Marchiori94a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Miller94,
  author       = {Dale Miller},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Specifications Using Multiple-Conclusion Logic Programs},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {3--4},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_2},
  doi          = {10.1007/3-540-58431-5\_2},
  timestamp    = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/alp/Miller94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Paige94,
  author       = {Robert Paige},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Viewing {A} program Transformation System At Work},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {5},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_3},
  doi          = {10.1007/3-540-58431-5\_3},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Paige94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Palamidessi94,
  author       = {Catuscia Palamidessi},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Concurrent Constraint Programming},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_1},
  doi          = {10.1007/3-540-58431-5\_1},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Palamidessi94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Teusink94,
  author       = {Frank Teusink},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Three-Valued Completion for Abductive Logic Programs},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {150--167},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_12},
  doi          = {10.1007/3-540-58431-5\_12},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Teusink94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Volpe94,
  author       = {Paolo Volpe},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Concurrent Logic Programming as Uniform Linear Proofs},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {133--149},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_11},
  doi          = {10.1007/3-540-58431-5\_11},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Volpe94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/WernerBK94,
  author       = {Andreas Werner and
                  Alexander Bockmayr and
                  Stefan Krischer},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {How to Realize {LSE} Narrowing},
  booktitle    = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  pages        = {59--76},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_7},
  doi          = {10.1007/3-540-58431-5\_7},
  timestamp    = {Mon, 18 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/alp/WernerBK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/alp/1994,
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
                  Madid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {850},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5},
  doi          = {10.1007/3-540-58431-5},
  isbn         = {3-540-58431-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/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.