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
G. Engels and R. Heckel, “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), 2000, pp. 373–382.

2000 | Conference Paper | LibreCat-ID: 8341
F. Gadducci, R. Heckel, and M. Koch, “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), 2000, vol. 1764, pp. 310–322.
LibreCat | DOI

2000 | Conference Paper | LibreCat-ID: 8346
K. Mehner and T. Schattkowsky, “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), 2000, vol. 24, pp. 14–18.

2000 | Conference Paper | LibreCat-ID: 8916
T. Hemsel and J. Wallaschek, “Piezoelectic linear motors,” in Tagungsband der ACTUATOR, 2000, pp. 250–253.

2000 | Book Chapter | LibreCat-ID: 16513
P. J. Aston and M. Dellnitz, “The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms,” in Equadiff 99, 2000.
LibreCat | DOI

2000 | Journal Article | LibreCat-ID: 17528
V. Peckhaus, “Análisis regresivo,” Adef Revista de Filosofia (Buenos Aires), vol. 15, no. 2 (November), pp. 23–38, 2000.

2000 | Book (Editor) | LibreCat-ID: 17458
V. Peckhaus, 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
V. Peckhaus, “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, vol. 8, no. 1-2 (January 1998 – April 2000). pp. 179–181, 2000.

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

2000 | Conference Paper | LibreCat-ID: 18146
M. Ziegler and V. Brattka, “Computing the Dimension of Linear Subspaces,” in SOFSEM 2000: Theory and Practice of Informatics, 2000, vol. 1963, pp. 450–458.
LibreCat | DOI

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed