Volume 342; Issue 2-3

Theoretical Computer Science

Volume 342; Issue 2-3
1

The recognizability of sets of graphs is a robust property

Bruno Courcelle, Pascal Weil
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 634 KB
english, 2005
3

Precedence–inclusion patterns and relational learning

Frank J. Oles
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 478 KB
english, 2005
5

Author index

Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 161 KB
english, 2005
6

Probabilistic temporal logics via the modal mu-calculus

Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 389 KB
english, 2005
7

Any-world assumptions in logic programming

Yann Loyer, Umberto Straccia
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 395 KB
english, 2005