Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Bibliographische Detailangaben

Titel
Conditional Term Rewriting Systems Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
verantwortlich
Rusinowitch, Michael (VerfasserIn); Remy, Jean-Luc (Sonstige)
Schriftenreihe
Lecture Notes in Computer Science ; 656
veröffentlicht
Berlin, Heidelberg: Springer Berlin Heidelberg, 1993
Erscheinungsjahr
1993
Teil von
SpringerLink
Teil von
Lecture notes in computer science ; 656
Buchausg. u.d.T.
Conditional term rewriting systems, Berlin : Springer-Verl., 1993, XI, 501 S.
Medientyp
E-Book Konferenzbericht
Datenquelle
K10plus Verbundkatalog
Springer Lecture Notes
Tags
Tag hinzufügen

Zugang

Weitere Informationen sehen Sie, wenn Sie angemeldet sind. Noch keinen Account? Jetzt registrieren.

Umfang
Online-Ressource
Sprache
Englisch
Schlagworte
Bedingtes Termersetzungssystem
RVK-Notation
  • Informatik
    • Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
      • Schriftenreihen (indiv. Sign.)
        • Lecture notes in computer science
  • Informatik
    • Monografien
      • Grundlagen der Informatik
        • Theoretische Informatik
          • Allgemeines
BK-Notation
54.10 Theoretische Informatik
54.62 Datenstrukturen
ISBN
9783540475491
DOI
10.1007/3-540-56393-8