Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
31 results · clear filters Sort: newest oldest name
- Formal Structures for Computation and Deduction (FSCD) / Rewriting Techniques and Applications (RTA) (RTA)Computer and information sciencese12ngpm
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencess10aggs
- Formal Structures for Computation and Deduction (FSCD) / Rewriting Techniques and Applications (RTA) (RTA)Computer and information sciencese12ngnp
- Formal Structures for Computation and Deduction (FSCD) / Rewriting Techniques and Applications (RTA) (RTA)Computer and information sciencese12ngmr
- Formal Structures for Computation and Deduction (FSCD) / Rewriting Techniques and Applications (RTA) (RTA)Computer and information sciencese12ngkt
- 26th International Conference on Rewriting Techniques and Applications, RTA 2015, Warsaw, Poland, June 29 - July 1, 2015 (RTA)Computer and information sciencese11qj6g
- International Conference on Rewriting Techniques and Applications (RTA, TLCA)Computer and information sciencese107dwa
- 24th International Conference on Rewriting Techniques and Applications, RTA 2013, Eindhoven, The Netherlands, June 24-26, 2013 (RTA)Computer and information sciencese11qj5j
- 23rd International Conference on Rewriting Techniques and Applications, RTA 2012, Nagoya, Japan, May 28 - June 2, 2012 (RTA)Computer and information sciencese11qj4m
- Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, Novi Sad, Serbia, May 30 - June 1, 2011 (RTA)Computer and information sciencese11qj3p
- Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Edinburgh, Scottland, UK, July 11-13, 2010 (RTA)Computer and information sciencese11qj2r
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dvc
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dte
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dsg
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107drj
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dqm
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dpp
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dnr
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dmt
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dkw
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107djy
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dh0
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107dg2
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107df5
- International Conference on Rewriting Techniques and Applications (RTA)Computer and information sciencese107de7