×

zbMATH — the first resource for mathematics

Found 67 Documents (Results 1–67)

100
MathJax
Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 37-63 (2006).
MSC:  03F07 03F05
PDF BibTeX XML Cite
Full Text: DOI
J. Sov. Math. 52, No. 3, 3194-3197 (1990); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 160, 257-261 (1987).
MSC:  18D10 18D15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software