BibTeX records: Jürgen Stuber

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Jürgen Stuber

download as .bib file

@article{DBLP:journals/iandc/GanzingerS05,
  author       = {Harald Ganzinger and
                  J{\"{u}}rgen Stuber},
  title        = {Superposition with equivalence reasoning and delayed clause normal
                  form transformation},
  journal      = {Inf. Comput.},
  volume       = {199},
  number       = {1-2},
  pages        = {3--23},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2004.10.010},
  doi          = {10.1016/J.IC.2004.10.010},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GanzingerS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Stuber2004,
  author       = {J{\"{u}}rgen Stuber},
  title        = {Superposition theorem proving for commutative algebraic theories},
  school       = {Saarland University},
  year         = {2004},
  url          = {http://scidok.sulb.uni-saarland.de/volltexte/2004/240/index.html},
  urn          = {urn:nbn:de:bsz:291-scidok-2406},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Stuber2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mst/Schmidt-SchaussS04,
  author       = {Manfred Schmidt{-}Schau{\ss} and
                  J{\"{u}}rgen Stuber},
  title        = {The Complexity of Linear and Stratified Context Matching Problems},
  journal      = {Theory Comput. Syst.},
  volume       = {37},
  number       = {6},
  pages        = {717--740},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00224-004-1151-9},
  doi          = {10.1007/S00224-004-1151-9},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Schmidt-SchaussS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GanzingerS03,
  author       = {Harald Ganzinger and
                  J{\"{u}}rgen Stuber},
  editor       = {Franz Baader},
  title        = {Superposition with Equivalence Reasoning and Delayed Clause Normal
                  Form Transformation},
  booktitle    = {Automated Deduction - CADE-19, 19th International Conference on Automated
                  Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2741},
  pages        = {335--349},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45085-6\_31},
  doi          = {10.1007/978-3-540-45085-6\_31},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GanzingerS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppswr/StuberB03,
  author       = {J{\"{u}}rgen Stuber and
                  Mark van den Brand},
  editor       = {Fran{\c{c}}ois Bry and
                  Nicola Henze and
                  Jan Maluszynski},
  title        = {Extracting Mathematical Semantics from Documents},
  booktitle    = {Principles and Practice of Semantic Web Reasoning, International Workshop,
                  {PPSWR} 2003, Mumbai, India, December 8, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2901},
  pages        = {160--173},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24572-8\_11},
  doi          = {10.1007/978-3-540-24572-8\_11},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppswr/StuberB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Stuber01,
  author       = {J{\"{u}}rgen Stuber},
  editor       = {Rajeev Gor{\'{e}} and
                  Alexander Leitsch and
                  Tobias Nipkow},
  title        = {A Model-Based Completeness Proof of Extended Narrowing and Resolution},
  booktitle    = {Automated Reasoning, First International Joint Conference, {IJCAR}
                  2001, Siena, Italy, June 18-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2083},
  pages        = {195--210},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45744-5\_15},
  doi          = {10.1007/3-540-45744-5\_15},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Stuber01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Stuber00,
  author       = {J{\"{u}}rgen Stuber},
  editor       = {Leo Bachmair},
  title        = {Deriving Theory Superposition Calculi from Convergent Term Rewriting
                  Systems},
  booktitle    = {Rewriting Techniques and Applications, 11th International Conference,
                  {RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1833},
  pages        = {229--245},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721975\_16},
  doi          = {10.1007/10721975\_16},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Stuber00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Stuber99,
  author       = {J{\"{u}}rgen Stuber},
  editor       = {Paliath Narendran and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Theory Path Orderings},
  booktitle    = {Rewriting Techniques and Applications, 10th International Conference,
                  RTA-99, Trento, Italy, July 2-4, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1631},
  pages        = {148--162},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48685-2\_12},
  doi          = {10.1007/3-540-48685-2\_12},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Stuber99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Stuber98,
  author       = {J{\"{u}}rgen Stuber},
  title        = {Superposition Theorem Proving for Abelian Groups Represented as Integer
                  Modules},
  journal      = {Theor. Comput. Sci.},
  volume       = {208},
  number       = {1-2},
  pages        = {149--177},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(98)00082-6},
  doi          = {10.1016/S0304-3975(98)00082-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Stuber98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Stuber96,
  author       = {J{\"{u}}rgen Stuber},
  editor       = {Harald Ganzinger},
  title        = {Superposition Theorem Proving for Albelian Groups Represented as Integer
                  Modules},
  booktitle    = {Rewriting Techniques and Applications, 7th International Conference,
                  RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1103},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61464-8\_41},
  doi          = {10.1007/3-540-61464-8\_41},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Stuber96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compass/BachmairGS94,
  author       = {Leo Bachmair and
                  Harald Ganzinger and
                  J{\"{u}}rgen Stuber},
  editor       = {Egidio Astesiano and
                  Gianna Reggio and
                  Andrzej Tarlecki},
  title        = {Combining Algebra and Universal Algebra in First-Order Theorem Proving:
                  The Case of Commutative Rings},
  booktitle    = {Recent Trends in Data Type Specification, 10th Workshop on Specification
                  of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
                  Italy, May 30 - June 3, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {906},
  pages        = {1--29},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0014420},
  doi          = {10.1007/BFB0014420},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/compass/BachmairGS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Stuber94,
  author       = {J{\"{u}}rgen Stuber},
  editor       = {Pascal Van Hentenryck},
  title        = {Computing Stable Models by Program Transformation},
  booktitle    = {Logic Programming, Proceedings of the Eleventh International Conference
                  on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
  pages        = {58--73},
  publisher    = {{MIT} Press},
  year         = {1994},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Stuber94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ctrs/GanzingerS92,
  author       = {Harald Ganzinger and
                  J{\"{u}}rgen Stuber},
  editor       = {Micha{\"{e}}l Rusinowitch and
                  Jean{-}Luc R{\'{e}}my},
  title        = {Inductive Theorem Proving by Consistency for First-Order Clauses},
  booktitle    = {Conditional Term Rewriting Systems, Third International Workshop,
                  CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {656},
  pages        = {226--241},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56393-8\_17},
  doi          = {10.1007/3-540-56393-8\_17},
  timestamp    = {Thu, 08 Aug 2019 14:41:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ctrs/GanzingerS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/92/GanzingerS92,
  author       = {Harald Ganzinger and
                  J{\"{u}}rgen Stuber},
  editor       = {Johannes Buchmann and
                  Harald Ganzinger and
                  Wolfgang J. Paul},
  title        = {Inductive Theorem Proving by Consistency for First-Order Clauses},
  booktitle    = {Informatik, Festschrift zum 60. Geburtstag von G{\"{u}}nter Hotz},
  series       = {Teubner-Texte zur Informatik},
  volume       = {1},
  pages        = {441--461},
  publisher    = {Teubner / Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-322-95233-2\_27},
  doi          = {10.1007/978-3-322-95233-2\_27},
  timestamp    = {Tue, 16 Jul 2019 08:16:16 +0200},
  biburl       = {https://dblp.org/rec/books/sp/92/GanzingerS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

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.