[IFIP International Federation for Information Processing]...

  • Main
  • [IFIP International Federation for...

[IFIP International Federation for Information Processing] Exploring New Frontiers of Theoretical Informatics Volume 155 || Ensuring Termination by Typability

Levy, Jean-Jacques, Mayr, Ernst W., Mitchell, John C.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10.1007/b9
Year:
2004
Language:
english
DOI:
10.1007/1-4020-8141-3_47
File:
PDF, 1022 KB
english, 2004
Conversion to is in progress
Conversion to is failed