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.

13796 Publications


1999 | Journal Article | LibreCat-ID: 3252
Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8.
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 3339
Lettmann, Theodor, and Hans Kleine Büning. Propositional Logic : Deduction and Algorithms. Cambridge Tracts in Theoretical Computer Science. Cambridge Univ. Press, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7401
Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. “Graph Transformation for Specification and Programming.” Science of Computer Programming 34, no. 1 (1999): 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 7850
Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Tile Transition Systems as Structured Coalgebras.” In Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), 1684:13–38. LNCS. Berlin/Heidelberg: Springer, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7519
Heckel, Reiko, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. “Classification and Comparison of Module Concepts for Graph Transformation Systems.” In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, 2:669–89. Singapore: World Scientific, 1999.
LibreCat
 

1999 | Conference (Editor) | LibreCat-ID: 7792
Engels, Gregor, K. Beiersdörfer, and Wilhelm Schäfer, eds. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). Informatik Aktuell. Berlin/Heidelberg: Springer, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8118
Krauter, Stefan, R. Stephan, and L. Bastos. “Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro.” In Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8120
Krauter, Stefan. “The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics.” In Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375., 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8322
Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems.” In Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 64–71. Indian Wells, California, USA, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8327
Mehner, Katharina, and Annika Wagner. “An Assessment of Aspect Language Design.” In Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8909
Popp, Karl, and Walter Sextro. “Schwingungsanalyse von Vorgespannten Schaufeln Mit Deckplatten Im Schaufelkranz.” In Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, 21–38. Heidelberg, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8911
Sextro, Walter. “Forced Vibration of Elastic Structures with Friction Contacts.” In ASME Design Engineering Technical Conferences, 1–10. Las Vegas, Nevada, USA, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 8459
Kremer, H.-Hugo. “Realisierung fächer- und lernortübergreifender Ausbildungskonzepte.” In Lehren und Lernen in der Aus- und Weiterbildung, edited by P.F.E. Sloane, R. Bader, and G. Straka. Opladen, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16537
Dellnitz, Michael, and Oliver Junge. “On the Approximation of Complicated Dynamical Behavior.” SIAM Journal on Numerical Analysis, 1999, 491–515. https://doi.org/10.1137/s0036142996313002.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 17509
Peckhaus, Volker. “Abduktion und Heuristik.” In Rationalität, Realismus, Revision.Vorträge des 3. Internationalen Kongresses der Gesellschaft für Analytische Philosophie, edited by Julian Nida-Rümelin, 23:833–41. Perspektiven der Analytischen Philosophie. Berlin/New York: Walter de Gruyter, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 17511
Peckhaus, Volker. “19th Century Logic: Between Philosophy and Mathematics (Wiederabdruck Und Online-Fassung).” The Bulletin of Symbolic Logic 5 (1999): 433–50.
LibreCat | Download (ext.)
 

1999 | Book Review | LibreCat-ID: 18312
Peckhaus, Volker. “Frascolla, Pascquale, Wittgenstein’s Philosophy of Mathematics, Routledge: London/New York 1994.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 901.03004], 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18331
Peckhaus, Volker. “Otte, Michael, ‘A Controversy on the Axiomatization of Arithmetic in Its Philosophical Context’, in: Conference on the History of Mathematics. Papers from the Conference Cetraro, Italy, September 8–12, 1988, Hg. v. Massimo Galuzzi, Editoria Elettronica: Rende 1991, 465–485.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 921.01017], 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18329
Peckhaus, Volker. “Van Dalen, Dirk, ‘The Role of Language in Brouwer’s Work’, in: Ewa Orłowska (Hg.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica-Verlag: Heidelberg 1999, 3–14.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 918.01015], 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18317
Peckhaus, Volker. “Stelzner, Werner, Gottlob Frege. Jena Und Die Geburt Der Modernen Logik, ReFIT: Jena 1996.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 908.01013], 1999.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed