×

zbMATH — the first resource for mathematics

Found 29 Documents (Results 1–3)

Leivant, Daniel M.

Alternating Turing machines for inductive languages. (English) Zbl 1322.03030

Log. Methods Comput. Sci. 9, No. 3, Paper No. 31, 12 p. (2013).

Reviewer: Stela K. Nikolova (Sofia)

MSC: 03D10 03D60 03D70

BibTeX Cite

Full Text: DOI

WorldCat.org

Milius, Stefan; Moss, Lawrence S.; Schwencke, Daniel

Abstract GSOS rules and a modular treatment of recursive definitions. (English) Zbl 1307.68051

Log. Methods Comput. Sci. 9, No. 3, Paper No. 30, 52 p., appendix, 14 p. (2013).

MSC: 68Q65 18C10

BibTeX Cite

Full Text: DOI arXiv

WorldCat.org

Freer, Cameron E.; Kjos-Hanssen, Bjoern

Randomness extraction and asymptotic Hamming distance. (English) Zbl 1361.03041

Log. Methods Comput. Sci. 9, No. 3, Paper No. 29, 14 p. (2013).

MSC: 03D32 03D30 68Q30

BibTeX Cite

Full Text: DOI arXiv

WorldCat.org

Filter Results by …

Author

Moss, Lawrence S. (2)
Milius, Stefan (2)
Jacobs, Bart (1)
66 other authors

Classification

68-XX (24)
03-XX (11)
18-XX (5)
6 other classifications

Software

Haskell (2)
Blaise (1)
Line-up (1)
14 other Software

W3C

© 2020 FIZ Karlsruhe GmbH Privacy Policy Legal Notices Terms & Conditions