Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
283 Publications
2000 | Book Review | LibreCat-ID: 18342
Hintikka, Jaakko, “On Gödel’s Philosophical Assumptions”, Synthese 114 (1998), 13–23
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.01008] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.01008] (2000).
2000 | Book Review | LibreCat-ID: 18343
Kreisel, G., “Second Thoughts Around Some of Gödel’s Writings: A Non-Academic Option”, Synthese 114 (1998), 99–160
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.01009] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.01009] (2000).
2000 | Journal Article | LibreCat-ID: 18344
Autonome Aspekte gesprochener und geschriebener Sprache: Theoretische Überlegungen und empirische Befunde
D. Tophinke, Sprache und Literatur in Wissenschaft und Unterricht (SUL) 85 (2000) 3–22.
LibreCat
D. Tophinke, Sprache und Literatur in Wissenschaft und Unterricht (SUL) 85 (2000) 3–22.
2000 | Book Review | LibreCat-ID: 18345
Boolos, George; Heck, Richard G. jun., “Die Grundlagen der Arithmetik, §§ 82–3”, in: Matthias Schirn (Hg.), The Philosophy of Mathematics Today. Papers from a Conference, Munich, Germany, June 28–July 4, 1993, Clarendon Press: Oxford 1998, 407–428
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.03008] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.03008] (2000).
2000 | Book Chapter | LibreCat-ID: 18355
Zur Wortabtrennung in den Werler Statuten des 14. und 15. Jahrhunderts – eine exemplarische Analyse
D. Tophinke, in: M. Elmentaler (Ed.), Regionalsprachen, Stadtsprachen und Institutionssprachen im historischen Prozeß, Edition Präsens, Wien, 2000, pp. 73–99.
LibreCat
D. Tophinke, in: M. Elmentaler (Ed.), Regionalsprachen, Stadtsprachen und Institutionssprachen im historischen Prozeß, Edition Präsens, Wien, 2000, pp. 73–99.
2000 | Book Review | LibreCat-ID: 18356
Rivadulla, Andrés, “The Popperian Revolution in the Methodology of Science”, In: Jesús Padilla Gálvez et al. (eds.), Wittgenstein and the Vienna Circle. Proceedings of the International Congress, Toledo, Spain, November 2–5, 1994, Cuenca: Ediciones de la Universidad de Castilla-La Mancha: Cuenca 1998 (Estudios; 49), 305–316
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 940.01006] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 940.01006] (2000).
2000 | Book Review | LibreCat-ID: 18357
Mancosu, Paolo, “Between Russell and Hilbert: Behmann on the Foundations of Mathematics”, Bulletin of Symbolic Logic 5 (1999), 303–330
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 942.030029] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 942.030029] (2000).
2000 | Book Review | LibreCat-ID: 18358
Zach, Richard, “Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic”, Bulletin of Symbolic Logic 5 (1999), 331–366
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 942.03002] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 942.03002] (2000).
2000 | Book Chapter | LibreCat-ID: 18359
Linguistische Perspektiven auf das Verhältnis von Identität und Alterität
D. Tophinke, in: W. Eßbach (Ed.), wir / ihr / sie. Identität und Alterität in Theorie und Methode, Ergon, Würzburg, 2000, pp. 345–371.
LibreCat
D. Tophinke, in: W. Eßbach (Ed.), wir / ihr / sie. Identität und Alterität in Theorie und Methode, Ergon, Würzburg, 2000, pp. 345–371.
2000 | Book Review | LibreCat-ID: 18360
Glashoff, Klaus, „Das Rad der Gründe — Der Hetucakradamara von Dignaga“, Mitt. Math. Ges. Hamb. 18 (1999), 75–104
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 946.01004] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 946.01004] (2000).
2000 | Book Review | LibreCat-ID: 18361
Radu, Mircea, “Justus Grassmann’s Contributions to the Foundations of Mathematics: Mathematical and Philosophical Aspects”, Historia Mathematica 27 (2000), 4–35
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 948.01009] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 948.01009] (2000).
2000 | Journal Article | LibreCat-ID: 18446
Periodification Scheme: Constructing Sorting Networks with Constant Period
K. Lorys, R. Wanka, B. Oesterdiekhoff, M. Kutylowski, Journal of the ACM 45 (2000) 944–967.
LibreCat
| DOI
K. Lorys, R. Wanka, B. Oesterdiekhoff, M. Kutylowski, Journal of the ACM 45 (2000) 944–967.
2000 | Journal Article | LibreCat-ID: 18617 |

Decay properties of the one-particle Green function in real space and imaginary time
A. Schindlmayr, Physical Review B 62 (2000) 12573–12576.
LibreCat
| Files available
| DOI
| WoS
A. Schindlmayr, Physical Review B 62 (2000) 12573–12576.
2000 | Conference Paper | LibreCat-ID: 2211 |

A New Algorithmic Approach to the General Lovász Local Lemma with Applications to Scheduling and Satisfiability Problems
A. Czumaj, C. Scheideler, in: 32nd ACM Symposium on Theory of Computing, 2000, pp. 38–47.
LibreCat
| Files available
A. Czumaj, C. Scheideler, in: 32nd ACM Symposium on Theory of Computing, 2000, pp. 38–47.
2000 | Journal Article | LibreCat-ID: 21782
Do we need formal education in visualization?
G. Domik, IEEE Computer Graphics and Applications 20 (2000) 16–19.
LibreCat
| DOI
G. Domik, IEEE Computer Graphics and Applications 20 (2000) 16–19.
2000 | Conference Paper | LibreCat-ID: 21783
Developing Effective Navigation Techniques in Virtual 3D Environments
S. Volbracht, G. Domik, in: J. Mulder, R. van Liere (Eds.), Virtual Environments 2000, Springer Vienna, Vienna, 2000, pp. 55–64.
LibreCat
S. Volbracht, G. Domik, in: J. Mulder, R. van Liere (Eds.), Virtual Environments 2000, Springer Vienna, Vienna, 2000, pp. 55–64.
2000 | Conference (Editor) | LibreCat-ID: 7790
Special Issue: Selected Papers of GRATRA 2000
H. Ehrig, G. Engels, H.-J. Kreowksi, G. Taentzer, eds., Special Issue: Selected Papers of GRATRA 2000, Elsevier, Amsterdam, The Netherlands, 2000.
LibreCat
H. Ehrig, G. Engels, H.-J. Kreowksi, G. Taentzer, eds., Special Issue: Selected Papers of GRATRA 2000, Elsevier, Amsterdam, The Netherlands, 2000.
2000 | Conference (Editor) | LibreCat-ID: 7791
Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland)
J.D.P. Rolim, A.Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, J.B. Wells, eds., Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland), Carleton Scientific, Waterloo, Ontario, Canada, 2000.
LibreCat
J.D.P. Rolim, A.Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, J.B. Wells, eds., Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland), Carleton Scientific, Waterloo, Ontario, Canada, 2000.
2000 | Conference Paper | LibreCat-ID: 7861
Konzeption eines XML-fähigen Mailtools
M. Lohmann, A. Wagner, in: Proceedings of Net.Object Days 2000, Erfurt (Germany), 2000.
LibreCat
M. Lohmann, A. Wagner, in: Proceedings of Net.Object Days 2000, Erfurt (Germany), 2000.
2000 | Conference Paper | LibreCat-ID: 7862
Entwicklung eines Übersetzers von Nachrichtenaustauschformaten für Bankselbstbedienungssysteme in XML-Formate
S. Thöne, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin-Verlag, Leinfelden - Echterdingen, 2000.
LibreCat
S. Thöne, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin-Verlag, Leinfelden - Echterdingen, 2000.