Zum Hauptinhalt springen
UB Wuppertal

Suchergebnisse

Katalog

Artikel & mehr
25 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Publikation

Inhaltsanbieter

25 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems.
    Pfenning, Frank ; Wang, Yi ; et al.
    In: Term Rewriting & Applications (9783540368342); (2006) S. 343-356
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    The Confluence Problem for Flat TRSs.
    Mitsuhashi, Ichiro ; Oyamaguch, Michio ; et al.
    In: Artificial Intelligence & Symbolic Computation (9783540397281); (2006) S. 68-81
    Buch
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    On the Behaviour of the TRSIM Model for Trust and Reputation.
    Carbonell, Jaime G. ; Siekmann, Jörg ; et al.
    In: Multiagent System Technologies (9783540749486); (2007) S. 182-193
    Buch
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Hybridization of Fuzzy and Rough Sets: Present and Future.
    Kacprzyk, Janusz ; Bustince, Humberto ; et al.
    In: Fuzzy Sets & Their Extensions: Representation, Aggregation & Models; (2008) S. 45-64
    Buch
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Automated Termination Analysis for Logic Programs by Term Rewriting.
    Hutchison, David ; Kanade, Takeo ; et al.
    In: Logic-Based Program Synthesis & Transformation (9783540714095); (2007) S. 177-193
    Buch
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Proving Termination by Bounded Increase.
    Carbonell, Jaime G. ; Siekmann, Jörg ; et al.
    In: Automated Deduction - CADE-21; (2007) S. 443-459
    Buch
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    On the Normalization and Unique Normalization Properties of Term Rewrite Systems.
    Carbonell, Jaime G. ; Siekmann, Jörg ; et al.
    In: Automated Deduction - CADE-21; (2007) S. 247-262
    Buch
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    TPA: Termination Proved Automatically.
    Pfenning, Frank ; Koprowski, Adam
    In: Term Rewriting & Applications (9783540368342); (2006) S. 257-266
    Buch
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Checking Conservativity of Overloaded Definitions in Higher-Order Logic.
    Pfenning, Frank ; Obua, Steven
    In: Term Rewriting & Applications (9783540368342); (2006) S. 212-226
    Buch
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Proving Liveness with Fairness Using Rewriting.
    Gramlich, Bernhard ; Koprowski, Adam ; et al.
    In: Frontiers of Combining Systems (9783540290513); (2005) S. 232-247
    Buch
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Proving and Disproving Termination of Higher-Order Functions.
    Gramlich, Bernhard ; Giesl, Jürgen ; et al.
    In: Frontiers of Combining Systems (9783540290513); (2005) S. 216-231
    Buch
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Reducing Right-Hand Sides for Termination.
    Middeldorp, Aart ; Oostrom, Vincent ; et al.
    In: Processes, Terms & Cycles: Steps on the Road to Infinity; (2005) S. 173-197
    Buch
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Term Rewriting Meets Aspect-Oriented Programming.
    Middeldorp, Aart ; Oostrom, Vincent ; et al.
    In: Processes, Terms & Cycles: Steps on the Road to Infinity; (2005) S. 88-105
    Buch
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Complete Monotonic Semantic Path Orderings.
    McAllester, David ; Borralleras, Cristina ; et al.
    In: Automated Deduction - CADE-17; (2000) S. 346-364
    Buch
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability.
    Bachmair, Leo ; Takai, Toshinori ; et al.
    In: Rewriting Techniques & Applications (9783540677789); (2000) S. 246-260
    Buch
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    TALP: A Tool for the Termination Analysis of Logic Programs.
    Bachmair, Leo ; Ohlebusch, Enno ; et al.
    In: Rewriting Techniques & Applications (9783540677789); (2000) S. 270-273
    Buch
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    System Description: The Dependency Pair Method.
    Bachmair, Leo ; Arts, Thomas
    In: Rewriting Techniques & Applications (9783540677789); (2000) S. 261-264
    Buch
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    On the expressive power of rewriting.
    Goos, Gerhard ; Hartmanis, Juris ; et al.
    In: Foundations of Software Technology & Theoretical Computer Science; (1997) S. 88-102
    Buch
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Termination transformation by tree lifting ordering.
    Goos, Gerhard ; Hartmanis, Juris ; et al.
    In: Rewriting Techniques & Applications; (1998) S. 256-270
    Buch
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems.
    Furbach, Ulrich ; Shankar, Natarajan ; et al.
    In: Automated Reasoning; (2006) S. 332-346
    Buch
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -