Rewriting techniques and applications. 6th international conference, RTA-95, Kaiserslautern, Germany, April 5--7, 1995. Proceedings (Q1805032)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rewriting techniques and applications. 6th international conference, RTA-95, Kaiserslautern, Germany, April 5--7, 1995. Proceedings |
scientific article |
Statements
Rewriting techniques and applications. 6th international conference, RTA-95, Kaiserslautern, Germany, April 5--7, 1995. Proceedings (English)
0 references
7 May 1995
0 references
Kaiserslautern (Germany)
0 references
Conference
0 references
Proceedings
0 references
RTA-95
0 references
Rewriting techniques
0 references