Volume 251; Issue 1-2

Theoretical Computer Science

Volume 251; Issue 1-2
1

L(A)=L(B)? decidability results from complete formal systems

Year:
2001
Language:
english
File:
PDF, 1.22 MB
english, 2001
2

Index

Year:
2001
File:
PDF, 31 KB
2001