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.

13897 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.
LibreCat
 

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.
LibreCat
 

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

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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.
LibreCat
 

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
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: IEEE

Export / Embed