default search action
Search dblp for Publications
export results for "stream:conf/model:"
@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} }
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.