Aller au contenu
CAVAL Home
  • Start Over
  • Votre compte
  • Se déconnecter
  • Connexion
  • Langue
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Recherche avancée
  • Systems of reductions /
  • Citer
  • Envoyer par SMS
  • Envoyer par courriel
  • Imprimer
  • Exporter les notices
    • Exporter vers RefWorks
    • Exporter vers EndNoteWeb
    • Exporter vers EndNote
  • Ajouter aux favoris
  • Permalien
Systems of reductions /

Systems of reductions /

Enregistré dans:
Détails bibliographiques
Auteur principal: Benninghofen, B. (Benjamin), 1958-
Autres auteurs: Richter, Michael M., 1938-, Kemmerich, S. (Susanne), 1953-
Format: Livre
Langue:English
Publié: Berlin ; New York : Springer-Verlag, c1987.
Collection:Lecture notes in computer science ; 277.
Sujets:
Rewriting systems (Computer science)
Algebra, Universal > Data processing.
Computer algorithms.
  • Exemplaires
  • Description
  • Affichage MARC

CARM 1 Store

Informations d'exemplaires de CARM 1 Store
Cote: A2:AL20E0 C05352
Exemplaire 1 Disponible  Réserver

Documents similaires

  • Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    Publié: (1995)
  • Efficient graph rewriting and its implementation /
    par: Dörr, Heiko, 1962-
    Publié: (1995)
  • Conditional term rewriting systems /
    Publié: (1993)
  • Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings /
    Publié: (1988)
  • Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings /
    Publié: (1991)
  • Home
  • About Us
    • Contact Us
    • News
    • Governance
    • Photo Gallery
  • Solutions
    • FOLIO + ReShare
    • Storage and Archives
    • Shelf-Ready Services
    • Cataloguing and Metadata
    • Language Resources
    • Digital Platforms
  • Member Services
    • Member Benefits
    • Our Members
    • Shared Collection
    • Reciprocal Borrowing
    • Mentoring Program
    • CAVAL card

Contact Us

4 Park Drive

Bundoora, Victoria, 3083

Australia

T +61 3 9450 5500

Email: caval@caval.edu.au

Twitter Facebook LinkedIn

  • Privacy and Disclaimer
  • Site Map