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.

17287 Publications

2000 | Conference Paper | LibreCat-ID: 8339
Engels G, Heckel R. From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. In: Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland). Carleton Scientific; 2000:373-382.

2000 | Conference Paper | LibreCat-ID: 8341
Gadducci F, Heckel R, Koch M. A Fully Abstract Model for Graph-Interpreted Temporal Logic. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:
LibreCat | DOI

2000 | Conference Paper | LibreCat-ID: 8346
Mehner K, Schattkowsky T. Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany). Vol 24. Universität Münster; 2000:14-18.

2000 | Conference Paper | LibreCat-ID: 8916
Hemsel T, Wallaschek J. Piezoelectic linear motors. In: Tagungsband Der ACTUATOR. Bremen; 2000:250-253.

2000 | Book Chapter | LibreCat-ID: 16513
Aston PJ, Dellnitz M. The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms. In: Equadiff 99. ; 2000. doi:10.1142/9789812792617_0196
LibreCat | DOI

2000 | Journal Article | LibreCat-ID: 17528
Peckhaus V. Análisis regresivo. Adef Revista de Filosofia (Buenos Aires). 2000;15(2 (November)):23-38.

2000 | Book (Editor) | LibreCat-ID: 17458
Peckhaus V, ed. “Contributing Editor” Für Die Sektion “Philosophy of Mathematics” in: The History of Mathematics from Antiquity to the Present: A Selective Annotated Bibliography, Edited by Joseph W. Dauben, Revised Edition on CD-ROM by Albert C. Lewis, in Cooperation with the International Commission on the History Mathematics, American Mathematical Society.; 2000.

2000 | Book Review | LibreCat-ID: 17787
Peckhaus V. Werner Stelzner, Gottlob Frege. Jena und die Geburt der modernen Logik, ed. Verein zur Regionalförderung von Forschung, Innovation und Technologie für die Strukturentwicklung e.V., no place [Jena]: ReFIT 1996. Modern Logic. 2000;8(1-2 (January 1998 – April 2000)):179-181.

2000 | Book Chapter | LibreCat-ID: 17852
Mindt I. Prosodic Cues at Speaker Turns. In: Mair C, Hundt M, eds. Corpus Linguistics and Linguistic Theory. Papers from the Twentieth  International Conference on English Language Research on Computerized Corpora  (ICAME 20). Amsterdam: Rodopi; 2000:255-265.

2000 | Conference Paper | LibreCat-ID: 18146
Ziegler M, Brattka V. Computing the Dimension of Linear Subspaces. In: SOFSEM 2000: Theory and Practice of Informatics. Vol 1963. Berlin, Heidelberg: Springer; 2000:450-458. doi:10.1007/3-540-44411-4_34
LibreCat | DOI

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed