Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Je

Ø 0.0
0 Bewertungen
68,50 €

Associative-commutative superposition. - A calculus for rippling. - Preserving confluence for rewrite systems with built-in operations. - How to transform canonical decreasing CTRSs into equivalent canonical TRSs.

Jetzt bei Ebay:

Zum Angebot *
  • ISBN-13:
    9783540603818
  • Book Title:
    Conditional and Typed Rewriting Systems
  • ISBN:
    9783540603818
  • None:
    International Standard : tracked-no signature (7 to 15 business days) 42,15 EUR - Lieferung zwischen 30. May 2025 und 10. June 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Weltweit
  • Versand ausgeschlossen:
    Kambodscha , Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , ... und weitere

Ähnliche Artikel

Produktbild - Advances in Information and Computer Security: 4th International Workshop on Sec

Advances in Information and Computer Security: 4th International Workshop on Sec

68,50 €
Zum Angebot
Produktbild - Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montre

Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montre

68,50 €
Zum Angebot
Produktbild - Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'

Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'

68,50 €
Zum Angebot
Produktbild - Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-

Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-

68,50 €
Zum Angebot
Produktbild - Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, Ju

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, Ju

68,50 €
Zum Angebot
Produktbild - Rewriting Techniques and Applications: 4th International Conference, RTA-91, Com

Rewriting Techniques and Applications: 4th International Conference, RTA-91, Com

68,50 €
Zum Angebot
Produktbild - Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop,

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop,

68,50 €
Zum Angebot
Produktbild - Active, Real-Time, and Temporal Database Systems: Second International Workshop,

Active, Real-Time, and Temporal Database Systems: Second International Workshop,

68,50 €
Zum Angebot
Produktbild - Rewriting and Typed Lambda Calculi : Joint International Conferences, Rta and...

Rewriting and Typed Lambda Calculi : Joint International Conferences, Rta and...

74,44 €
Zum Angebot
Produktbild - Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Hel

Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Hel

60,92 €
Zum Angebot
Produktbild - Rewriting and Typed Lambda Calculi : Joint International Conferences, Rta and...

Rewriting and Typed Lambda Calculi : Joint International Conferences, Rta and...

75,50 €
Zum Angebot
Produktbild - Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, He

Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, He

68,50 €
Zum Angebot
Produktbild - Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris,

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris,

68,50 €
Zum Angebot
Produktbild - Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007,

Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007,

68,50 €
Zum Angebot
Produktbild - Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Vi

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Vi

68,50 €
Zum Angebot
Produktbild - Web Information Systems -- WISE 2004 Workshops: WISE 2004 International Workshop

Web Information Systems -- WISE 2004 Workshops: WISE 2004 International Workshop

68,50 €
Zum Angebot
Produktbild - Databases in Networked Information Systems: International Workshop DNIS 2000 Aiz

Databases in Networked Information Systems: International Workshop DNIS 2000 Aiz

68,50 €
Zum Angebot
Produktbild - Rules in Database Systems: Second International Workshop, RIDS '95, Glyfada, Ath

Rules in Database Systems: Second International Workshop, RIDS '95, Glyfada, Ath

68,50 €
Zum Angebot
Produktbild - Information Security Applications: 4th International Workshop, WISA 2003, Jeju I

Information Security Applications: 4th International Workshop, WISA 2003, Jeju I

124,24 €
Zum Angebot
Produktbild - Rewriting Techniques and Applications: 13th International Conference, RTA 2002,

Rewriting Techniques and Applications: 13th International Conference, RTA 2002,

68,50 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay