Amanote Research

Amanote Research

    RegisterSign In

Quantitative Languages

ACM Transactions on Computational Logic - United States
doi 10.1145/1805950.1805953
Full Text
Open PDF
Abstract

Available in full text

Categories
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
Date

July 1, 2010

Authors
Krishnendu ChatterjeeLaurent DoyenThomas A. Henzinger
Publisher

Association for Computing Machinery (ACM)


Related search

Privacy Languages

2016English

Afroasiatic Languages

2018English

Ancient Written Languages: Languages of the Turkic Written Monuments

International Journal Of Turkish Literature Culture Education
2012English

Languages Connect and the Languages of the New Irish

TEANGA, the Journal of the Irish Association for Applied Linguistics
2019English

Context-Sensitive String Languages and Recognizable Picture Languages

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1997English

Languages, Meta-Languages and METATEM, a Discussion Paper

Logic Journal of the IGPL
Philosophy
1996English

Infinitary Languages

English

Maritime English Languages

Journal of Educational and Social Research
EducationSocial Sciences
2014English

Eventually Safe Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy