Showing 1 - 10 results of 20 for search '"Mathematical logic and formal languages."', query time: 0.02s Refine Results
  1. 1

    The mathematics of language 12th biennial conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    The mathematics of language 12th biennial conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
  2. 2

    The calculus formally known as pi. by Kelly-Bootle, Stan

    Article

    The calculus formally known as pi.
  3. 3

    Disjunctive datalog. by Eiter, Thomas

    Article

    Disjunctive datalog.
  4. 4

    Software verification and validation with destiny a parallel approach to automated theorem proving. by Dykstra, Josiah

    Article

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  5. 5

    Relational expressive power of constraint query languages. by Benedikt, Michael

    Published in Journal of the ACM
    Article

    Relational expressive power of constraint query languages.
  6. 6

    Probabilistic checking of proofs a new characterization of NP. by Arora, Sanjeev

    Published in Journal of the ACM
    Article

    Probabilistic checking of proofs a new characterization of NP.
  7. 7

    Theory of neuromata. by íma, Jiří

    Published in Journal of the ACM
    Article

    Theory of neuromata.
  8. 8

    Corrigendum Reasoning about knowledge and probability?. by Fagin, Ronald

    Published in Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.
  9. 9

    Satisfiability of word equations with constants is in PSPACE. by Plandowski, Wojciech

    Published in Journal of the ACM
    Article

    Satisfiability of word equations with constants is in PSPACE.
  10. 10

    A micromodularity mechanism. by Jackson, Daniel

    Article

    A micromodularity mechanism.

Search Tools: