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.
5791 Publications
1998 | Conference Paper | LibreCat-ID: 56577
@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings}, title={Implementing an ALCRP(D) ABox Reasoner - Progress Report}, volume={11}, booktitle={Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}, year={1998}, collection={CEUR Workshop Proceedings} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 56576
@inproceedings{Haarslev_Möller_Turhan_1998, series={CEUR Workshop Proceedings}, title={HAM-ALC}, volume={11}, booktitle={Proceedings of the 1998 International Workshop on Description Logics (DL’98), IRST, Povo - Trento, Italy, June 6-8, 1998}, publisher={CEUR-WS.org}, author={Haarslev, Volker and Möller, Ralf and Turhan, Anni-Yasmin}, editor={Franconi, Enrico and Giacomo, Giuseppe De and MacGregor, Robert M. and Nutt, Werner and Welty, Christopher A.}, year={1998}, collection={CEUR Workshop Proceedings} }
LibreCat
1997 | Conference Paper | LibreCat-ID: 19869
@inproceedings{Czumaj_Strothmann_1997, title={Bounded degree spanning trees}, DOI={10.1007/3-540-63397-9_9}, booktitle={Proceedings of the Fifth Annual European Symposium on Algorithms (ESA’97)}, author={Czumaj, Artur and Strothmann, Willy-Bernhard}, year={1997} }
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 8106
@inproceedings{Krauter_Duwe_1997, title={Das ECO–PV–System}, booktitle={Zwölftes Nationales Symposium für Photovoltaische Energiewandlung, Staffelstein, 26.–28. Februar 1997, Band 1, S. 297–302.}, author={Krauter, Stefan and Duwe, H.}, year={1997} }
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
@inbook{Ehrig_Heckel_Korff_Löwe_Ribeiro_Wagner_Corradini_1997, place={Singapore}, title={Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}, publisher={World Scientific}, author={Ehrig, Hartmut and Heckel, Reiko and Korff, Martin and Löwe, Michael and Ribeiro, Leila and Wagner, Annika and Corradini, Andrea}, year={1997}, pages={247–312} }
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
@inbook{Corradini_Montanari_Rossi_Ehrig_Heckel_Löwe_1997, place={Singapore}, title={Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations}, publisher={World Scientific}, author={Corradini, Andrea and Montanari, Ugo and Rossi, Francesca and Ehrig, Hartmut and Heckel, Reiko and Löwe, Michael}, year={1997}, pages={163–245} }
LibreCat
1997 | Book | LibreCat-ID: 6752
@book{Tönnies_1997, place={Trier}, title={Samuel Beckett’s Dramatic Strategy. Audience Laughter and the Postmodernist Debate}, publisher={WVT}, author={Tönnies, Merle}, year={1997} }
LibreCat
1997 | Journal Article | LibreCat-ID: 10724
@article{Platzner_Rinner_Weiss_1997, title={Parallel qualitative simulation}, volume={5}, DOI={10.1016/s0928-4869(97)00008-6}, number={7–8}, journal={Simulation Practice and Theory}, publisher={Elsevier}, author={Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold}, year={1997}, pages={623–638} }
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 13781
@article{Nilen_Connell_Schmidt_Britton_Verwoerd_Sellschop_Shrivastava_1997, title={Electron-positron momentum density distribution in diamond}, volume={116}, DOI={10.1016/s0169-4332(96)01078-1}, journal={Applied Surface Science}, author={Nilen, R.W.N. and Connell, S.H. and Schmidt, Wolf Gero and Britton, D.T. and Verwoerd, W.S. and Sellschop, J.P.F. and Shrivastava, S.}, year={1997}, pages={330–334} }
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 17495
@inproceedings{Peckhaus_1997, title={The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic}, booktitle={Philosophia Scientiae. Travaux d’histoire et de philosophie des science (Nancy) 1/3 (1996). 1–15 [erschienen im Juni 1997, = Actes du congrès International Poincaré – Nancy 1994; Bd. 2.2]}, author={Peckhaus, Volker}, year={1997}, pages={1–15} }
LibreCat
1997 | Book Review | LibreCat-ID: 34768 | 
@article{Süßmann_1997, title={[Rez. v.] Luigi Marino. Praeceptores Germaniae. Göttingen 1770–1820. Aus dem Italienischen v. Brigitte Szabó-Bechstein. Göttingen. Vandenhoeck & Ruprecht 1995}, volume={37}, journal={Archiv für Sozialgeschichte}, author={Süßmann, Johannes}, year={1997}, pages={691 f.} }
LibreCat
| Download (ext.)
1997 | Book Review | LibreCat-ID: 34767 |
@article{Süßmann_1997, title={[Rez. v.] Ingeborg Cleve: Kunst und Konsum. Kulturpolitik als Wirtschaftspolitik in Frankreich und Württemberg (1805–1845). Göttingen. Vandenhoeck & Ruprecht 1996}, volume={37}, journal={Archiv für Sozialgeschichte}, author={Süßmann, Johannes}, year={1997}, pages={688 f.} }
LibreCat
| Download (ext.)
1997 | Journal Article | LibreCat-ID: 15571 |
@article{Hagengruber_1997, title={La fondazione del punto matematico nella filosofia di Tommaso Campanella}, journal={Bruniana & Campanelliana 3, no. 1}, author={Hagengruber, Ruth Edith}, year={1997}, pages={77–92} }
LibreCat
| Download (ext.)
1997 | Book Chapter | LibreCat-ID: 36170
@inbook{Kamp_1997, place={Berlin}, title={Stiftungen – Gedächtnis, Frömmigkeit und Repräsentation}, booktitle={Die Kunst der burgundischen Niederlande. Eine Einführung}, author={Kamp, Hermann}, editor={Franke, Birgit and Welzel, Barbara}, year={1997}, pages={29–44} }
LibreCat
1997 | Book Chapter | LibreCat-ID: 36167
@inbook{Kamp_1997, place={Spoleto}, title={Vermittler in den Konflikten des hohen Mittelalters}, volume={2}, booktitle={La giustizia nell’ alto medioevo II. Secoli IX-XI}, author={Kamp, Hermann}, year={1997}, pages={675–714} }
LibreCat
1997 | Book | LibreCat-ID: 50414 |
@book{Riedl_Weyer_Kirchner_Schmidt_1997, place={Berlin}, title={Technik, die Gesellschaft schafft. Soziale Netzwerke als Ort der Technikgenese}, publisher={Edition Sima}, author={Riedl, Lars and Weyer, Johannes and Kirchner, Ulrich and Schmidt, Johannes F. K.}, year={1997} }
LibreCat
| Download (ext.)
1997 | Journal Article | LibreCat-ID: 53462
@article{Englisch_1997, title={Meinerzhagen, der Hein des heiligen Medard? Zu den frühen urkundlichen Zeugnissen über die Ursprünge Meinerzhagens im Mittelalter}, volume={31}, number={1}, journal={Meinhardus. Meinerzhagener Heimatblätter}, author={Englisch, Brigitte}, year={1997}, pages={17–36} }
LibreCat
1997 | Journal Article | LibreCat-ID: 53463
@article{Englisch_1997, title={Meinerzhagen, der Hein des heiligen Medard? Zu den frühen urkundlichen Zeugnissen über die Ursprünge Meinerzhagens im Mittelalter}, volume={31}, number={2}, journal={Meinhardus. Meinerzhagener Heimatblätter}, author={Englisch, Brigitte}, year={1997}, pages={54–69} }
LibreCat
1997 | Book Review | LibreCat-ID: 18200 |
@article{Peckhaus_1997, title={Hon, Giora, “Completeness has to be Restricted”, in: Petr Hájek (ed.), Gödel ’96. Logical Foundations of Mathematics, Computer Science and Physics — Kurt Gödel’s Legacy. Proceedings of a Conference, Brno, Czech Republic, August 1996, Springer-Verlag: Berlin 1996 (= Lect. Notes Log.; 6), 214–223}, number={Zbl. 0856.01020}, journal={zbMATH Open, Zbl. 0856.01020}, author={Peckhaus, Volker}, year={1997} }
LibreCat
| Download (ext.)
1997 | Book Review | LibreCat-ID: 18202 |
@article{Peckhaus_1997, title={Frege, Gottlob; Gabriel, Gottfried (ed.), „Vorlesungen über Begriffsschrift“, History and Philosophy of Logic 17, No. 1 (1996), iii–xvi, 1–48}, number={Zbl. 0860.01036}, journal={zbMATH Open, Zbl. 0860.01036}, author={Peckhaus, Volker}, year={1997} }
LibreCat
| Download (ext.)