Volume 47, Issue 4 | Acta Informatica

Search all Acta Informatica articles

Volume 47, Issue 4

June 2010

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

A note on autodense related languages
Chen-Ming Fan
C. C. Huang
Kuo-Hsiang Chen
Original Article 09 May 2010 Pages: 209 - 219
Quantum loop programs
Mingsheng Ying
Yuan Feng
Original Article 24 April 2010 Pages: 221 - 250
On regular temporal logics with past
Christian Dax
Felix Klaedtke
Martin Lange
Original Article 15 May 2010 Pages: 251 - 277