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.

13308 Publications


1998 | Conference Paper | LibreCat-ID: 7847
Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by Graph Transformation.” Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), vol. 1382, Springer, 1998, pp. 138–53, doi:http://dx.doi.org/10.1007/BFb0053578.
LibreCat | DOI
 

1998 | Conference Abstract | LibreCat-ID: 6398
Weber, W., et al. Conference Proceedings: Sixth Conference on International Human Resource Management, Paderborn 1998. 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8289
Ehrig, Hartmut, et al. “Construction and Characterisation of Double-Pullback Graph Transitions.” Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18275
Peckhaus, Volker. “Crick, Francis, ‘Georg Kreisel: A Few Personal Recollections’, in: P. Odifreddi (Ed.), Kreiseliana, Wellesley, MA 1996, 25–32.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01010], Zbl. 894.01010, 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18292
Peckhaus, Volker. “Crossley, John N., ‘Kreisel’s Effectiveness’, in: P. Odifreddi (Ed.), Kreiseliana, Wellesley, MA 1996, 33–41.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01011], Zbl. 894.01011, 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18219
Peckhaus, Volker. “Deakin, Michael A.B., ‘Boole’s Mathematical Blindness’, Math. Gaz. 80 (1996), 511–518.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.01019], Zbl. 877.01019, 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18213
Peckhaus, Volker. “Delzell, Charles N., ‘Kreisel’s Unwinding of Artin’s Proof’, in P. Odifreddi (Ed.), Kreiseliana, Wellesley, MA 1996, 113–246.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 876.12002], Zbl. 876.12002, 1998.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 1721
Krimphove, Dieter. “Der Einsatz Der Ökonomischen Analyse Des Rechts Als Notwendiges Instrument Der Europäischen Rechtsvergleichung  .” Zeitschrift Für Rechtsvergleichung -ZfRV, no. 39. Jg, Heft 5, MANZsche Verlags- und Universitätsbuchhandlung GmbH, 1998, pp. 185–205.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 10608
Platzner, Marco, and Bernhard Rinner. “Design and Implementation of a Parallel Constraint Satisfaction Algorithm.” International Journal of Computers & Their Applications, vol. 5, ISCA, 1998, pp. 106–16.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8284
Ehrig, Hartmut, et al. “Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.” Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), vol. 1764, Springer, 1998, pp. 85–102, doi:http://dx.doi.org/10.1007/b75045.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: MLA

Export / Embed