References
doi:
10.1109/LICS.2004.1319636
.
.
doi:
10.1006/aima.1997.1617
.
.
.
doi:
10.1016/0022-1236(77)90052-0
.
doi:
10.1109/LICS.2012.35
.
doi:
10.4204/EPTCS.95.4
.
doi:
10.1007/978-3-642-38164-5_3
.
doi:
10.1007/s11128-014-0837-4
.
doi:
10.2168/LMCS-8(4:14)2012
.
.
doi:
10.1016/j.jpaa.2012.04.002
.
.
.
doi:
10.1016/j.entcs.2006.12.018
.
doi:
10.1016/j.entcs.2008.04.021
.
doi:
10.1007/978-3-642-12821-9_4
.
doi:
10.1016/j.entcs.2013.09.022
.
.
doi:
10.1007/s00220-010-1138-0
.
doi:
10.1109/LICS.2012.70
.
doi:
10.1109/LICS.2013.14
.
.
Comments and questions to:
eptcs@eptcs.org
For website issues:
webmaster@eptcs.org