General decidability theorems for infinite-state systems
Abdulla, P.A., Cerans, K., Jonsson, B., Yih-Kuen Tsay
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)
Get full text
Conference Proceeding
Algorithmic Analysis of Programs with Well Quasi-ordered Domains
Abdulla, Parosh Aziz, Čerāns, Kārlis, Jonsson, Bengt, Tsay, Yih-Kuen
Published in Information and computation (01.07.2000)
Published in Information and computation (01.07.2000)
Get full text
Journal Article
Algorithmic analysis of programs with well quasi-ordered domains: LICS 1996-Part 1
PAROSH AZIZ ABDULLA, CERANS, K, JONSSON, B, TSAY, Y.-K
Published in Information and computation (2000)
Get full text
Published in Information and computation (2000)
Journal Article