×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–8)

100
MathJax
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 163-179 (2005).
MSC:  68Q05 68Q10 68T05 68T42
PDF BibTeX XML Cite
Full Text: Link
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 135-162 (2005).
MSC:  68T42 03B45 68T27
PDF BibTeX XML Cite
Full Text: Link
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 115-133 (2005).
PDF BibTeX XML Cite
Full Text: Link
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 97-114 (2005).
PDF BibTeX XML Cite
Full Text: Link
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 69-95 (2005).
MSC:  68Q05 68Q10 68Q60
PDF BibTeX XML Cite
Full Text: Link
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 49-67 (2005).
MSC:  68Q85 68Q60 03B70
PDF BibTeX XML Cite
Full Text: Link
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 33-48 (2005).
MSC:  68T42
PDF BibTeX XML Cite
Full Text: Link
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 5-31 (2005).
MSC:  68Q01 68Q05 68Q10
PDF BibTeX XML Cite
Full Text: Link