Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Tison, Sophie
Format: Buch
Sprache:eng
Schlagworte:
Algebra
Artificial Intelligence
Computer Science
Congresses
Data processing
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Rewriting systems (Computer science)
Symbolic and Algebraic Manipulation
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0302-9743
DOI:10.1007/3-540-45610-4