Search dblp for Publications

export results for "stream:streams/conf/model:"

 download as .bib file

@inproceedings{DBLP:conf/model/Basarab89,
  author    = {Serban A. Basarab},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Morgan-Shalen Compactification of affine algebraic varieties over
               local fields},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {4--17},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 16:55:25 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Basarab89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Baudisch89,
  author    = {Andreas Baudisch},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {On Superstable Groups},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {18--42},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Baudisch89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Belegradek89,
  author    = {Oleg V. Belegradek},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {On the Mal'cev Correspondence between Rings and Groups},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {43--57},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Belegradek89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/BouscarenH89,
  author    = {Elisabeth Bouscaren and
               Ehud Hrushovski},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Classification Theory, n-Tuples of Models and Finite Determinacy},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {58--66},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/BouscarenH89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Dahn89,
  author    = {Bernd I. Dahn},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {On Test Classes for Universal Theories},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {67--74},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Dahn89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/DahnL89,
  author    = {Bernd I. Dahn and
               Wolfgang Lenski},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Universally Generic Ordered Abelian Groups with Two Generators},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {75--80},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/DahnL89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Dix89,
  author    = {J{\"{u}}rgen Dix},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Some Tendencies in Non-monotonic Reasoning: 1. The main Approaches},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {81--105},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Dix89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Goode89,
  author    = {John B. Goode},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Hrushovski's Geometries},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {106--117},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Goode89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Heindorf89,
  author    = {Lutz Heindorf},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Clop(lambdaX) as semigroup algebra},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {118--126},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Heindorf89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Kuhnrich89,
  author    = {M. K{\"{u}}hnrich},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {On Boolean Differential Algebras},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {127--136},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Kuhnrich89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Lenski89,
  author    = {Wolfgang Lenski},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {On Characterization of Quantifier Eliminable Ordered Abelian Groups},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {137--172},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Lenski89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Macpherson89,
  author    = {H. D. Macpherson},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Universal Closed Permutation Groups},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {173--176},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Macpherson89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/NesinP89,
  author    = {Ali Nesin and
               Anand Pillay},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Open Subgroups of GL\({}_{\mbox{2}}\)(Q\({}_{\mbox{p}}\))},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {177--188},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/NesinP89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Sochor89,
  author    = {Anton{\'{\i}}n Sochor},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Submodels Satisfying ZF\({}_{\mbox{Fin}}\)},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {189--198},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Sochor89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Wilson89,
  author    = {J. Wilson},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Groups Elementarily Equivalent to Polycyclic Groups},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {199--203},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Wilson89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Zilber89,
  author    = {B. Zil'ber},
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Some Remarks on Model Theory of Algebraically Closed Fields},
  booktitle = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  pages     = {204},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/Zilber89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/model/1989,
  editor    = {Ingo Dahn and
               Helmut Wolter},
  title     = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
               Germany, March 27-31, 1989},
  series    = {Mathematik, Seminarbericht},
  volume    = {104},
  publisher = {Humboldt-Universit{\"{a}}t Berlin},
  year      = {1989},
  timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/model/1989.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics