Suche
Kategorie
JGU Mainz (85460)
Uni Trier (15102)
15102 Treffer
×
Universität Trier
- Meinel, Christoph; Stangier, Christian
- Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering
- Trier: Univ., Mathematik/Informatik 1998 9 S. (Trierer Forschungsberichte ; Nr. 98-23)
- Meinel, Christoph; Schwettmann, Klaus; Slobodová, Anna
- Application driven variable reordering and an example implementation in reachability analysis
- Trier: Univ., Mathematik/Informatik 1998 3 S. (Trierer Forschungsberichte ; 98-24)
- Meinel, Christoph; Slobodová, Anna
- Accelerating OBDD-minimization by means of structural and semantical properties
- Trier: Univ., Mathematik/Informatik 1998 22 S. (Trierer Forschungsberichte ; Nr. 98-25)
- Sack, Harald; Dubrova, Elena; Meinel, Christoph
- Mod-p decision diagrams : a data structure for multiple-valued functions
- Trier: Univ., Mathematik/Informatik 1999 13 S. (Trierer Forschungsberichte ; 99-27)
- Waas, B.
- Abhandlungen - Zur Dogmatik der sogenannten "ehebezogenen Zuwendungen"
- FamRZ. Zeitschrift für das gesamte Familienrecht ; Ehe und Familie im privaten und öffentlichen Recht. Bd. 47. H. 8. Bielefeld: Gieseking 2000 S. 453 - 461
- Waas, B.
- Unterbrechung der Verjährung von Gewährleistungsansprüchen bei erfolglosen Nachbesserungsversuchen des Schuldners - zugleich Besprechung der Entscheidung des BGH v. 2. 6. 1999
- Betriebs-Berater. Bd. Betriebs-Berater. Heidelberg: Verlag Recht und Wirtschaft 1999 S. 2472 - 2474
- Neumann, Andreas; Seidl, Helmut
- Locating matches of tree patterns in forests
- Trier: Univ., Mathematik/Informatik 1998 18 S. (Trierer Forschungsberichte ; 98-08)
- Seidl, H.
- Integer Constraints to Stop Deforestation
- Lecture notes in computer science. Bd. 1058. Berlin: Springer 1996 S. 326 - 340
- Keßler, Christoph W.; Seidl, Helmut
- ForkLight: a control-synchronous parallel programming language
- Trier: Univ., Mathematik/Informatik 1998 18 S. (Trierer Forschungsberichte ; Nr. 98,13)
- Seidl, H.; Neumann, A.
- Contributed Papers - Linear Logic, Mu Calculus, Concurrency - On Guarding Nested Fixpoints
- Lecture notes in computer science. Bd. 1683. Berlin: Springer 1999 S. 484 - 498