References

1. doi:10.1109/LICS.2004.1319636.
2. .
3. doi:10.1006/aima.1997.1617.
4. .
5. .
6. doi:10.1016/0022-1236(77)90052-0.
7. doi:10.1109/LICS.2012.35.
8. doi:10.4204/EPTCS.95.4.
9. doi:10.1007/978-3-642-38164-5_3.
10. doi:10.1007/s11128-014-0837-4.
11. doi:10.2168/LMCS-8(4:14)2012.
12. .
13. doi:10.1016/j.jpaa.2012.04.002.
14. .
15. .
16. doi:10.1016/j.entcs.2006.12.018.
17. doi:10.1016/j.entcs.2008.04.021.
18. doi:10.1007/978-3-642-12821-9_4.
19. doi:10.1016/j.entcs.2013.09.022.
20. .
21. doi:10.1007/s00220-010-1138-0.
22. doi:10.1109/LICS.2012.70.
23. doi:10.1109/LICS.2013.14.
24. .

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org