23rd International Conference on Rewriting Techniques and Applications (RTA'12)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783939897385
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
LIPIcs - Leibniz International Proceedings in Informatics ; Volume 15
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2012
- Contributor
-
Tiwari, Ashish
- URN
-
urn:nbn:de:0030-drops-27860
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Tiwari, Ashish
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2012
Other Objects (12)
26th International Conference on Rewriting Techniques and Applications (RTA 2015)
22nd International Conference on Rewriting Techniques and Applications (RTA'11)
24th International Conference on Rewriting Techniques and Applications (RTA 2013)
Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA'10)
26th International Conference on Rewriting Techniques and Applications : RTA '15, June 29 to July 1, 2015, Warsaw, Poland
Symbolic rewriting techniques
Rewriting techniques and applications : 14th international conference ; proceedings
Rewriting techniques and applications : 10th international conference ; proceedings
Rewriting techniques and applications : 12th international conference ; proceedings
Rewriting techniques and applications : 19th international conference ; proceedings
Rewriting techniques and applications : 13th international conference ; proceedings
Rewriting techniques and applications : 6th international conference ; proceedings
26th International Conference on Rewriting Techniques and Applications (RTA 2015)
22nd International Conference on Rewriting Techniques and Applications (RTA'11)
24th International Conference on Rewriting Techniques and Applications (RTA 2013)
Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA'10)
26th International Conference on Rewriting Techniques and Applications : RTA '15, June 29 to July 1, 2015, Warsaw, Poland
Symbolic rewriting techniques
Rewriting techniques and applications : 14th international conference ; proceedings
Rewriting techniques and applications : 10th international conference ; proceedings
Rewriting techniques and applications : 12th international conference ; proceedings
Rewriting techniques and applications : 19th international conference ; proceedings
Rewriting techniques and applications : 13th international conference ; proceedings
Rewriting techniques and applications : 6th international conference ; proceedings
26th International Conference on Rewriting Techniques and Applications (RTA 2015)
22nd International Conference on Rewriting Techniques and Applications (RTA'11)
24th International Conference on Rewriting Techniques and Applications (RTA 2013)
Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA'10)
26th International Conference on Rewriting Techniques and Applications : RTA '15, June 29 to July 1, 2015, Warsaw, Poland
Symbolic rewriting techniques
Rewriting techniques and applications : 14th international conference ; proceedings
Rewriting techniques and applications : 10th international conference ; proceedings
Rewriting techniques and applications : 12th international conference ; proceedings
Rewriting techniques and applications : 19th international conference ; proceedings
Rewriting techniques and applications : 13th international conference ; proceedings