Determinacy

Results: 200



#Item
31Detecting Determinacy in Prolog Programs Andy King1 , Lunjin Lu2 , and Samir Genaim3 1 2 University of Kent, Canterbury, CT2 7NF, UK

Detecting Determinacy in Prolog Programs Andy King1 , Lunjin Lu2 , and Samir Genaim3 1 2 University of Kent, Canterbury, CT2 7NF, UK

Add to Reading List

Source URL: www.secs.oakland.edu

Language: English - Date: 2014-02-06 10:55:05
    32On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland

    On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland

    Add to Reading List

    Source URL: www.mimuw.edu.pl

    Language: English - Date: 2007-06-16 19:01:23
    33Homework 2 1 Homework Problems

    Homework 2 1 Homework Problems

    Add to Reading List

    Source URL: pub.ist.ac.at

    Language: English - Date: 2010-03-25 04:38:15
    34Game Theory in Formal Verification Scribe Notes for Lecture 7 Friedrich Slivovsky

    Game Theory in Formal Verification Scribe Notes for Lecture 7 Friedrich Slivovsky

    Add to Reading List

    Source URL: pub.ist.ac.at

    Language: English - Date: 2010-05-03 11:15:34
    35Centralizing information in networks

    Centralizing information in networks

    Add to Reading List

    Source URL: www.jeanne-hagenbach.fr

    Language: English - Date: 2010-09-21 19:30:53
    36Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1

    Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1

    Add to Reading List

    Source URL: clip.dia.fi.upm.es

    - Date: 2009-08-18 19:10:21
      37On Determinacy and Learnability in a New Keynesian Model with Unemployment Mewael F. Tesfaselassie∗ Eric Schaling†

      On Determinacy and Learnability in a New Keynesian Model with Unemployment Mewael F. Tesfaselassie∗ Eric Schaling†

      Add to Reading List

      Source URL: www.ekon.sun.ac.za

      Language: English - Date: 2009-03-22 13:18:53
        38Do Basketball Scoring Patterns Reflect Strategic Play or Illegal Point Shaving? ∗ Jesse Gregory

        Do Basketball Scoring Patterns Reflect Strategic Play or Illegal Point Shaving? ∗ Jesse Gregory

        Add to Reading List

        Source URL: www.ssc.wisc.edu

        Language: English - Date: 2014-08-13 00:26:41
        39Discussion Paper NoBELIEFS IN REPEATED GAMES

        Discussion Paper NoBELIEFS IN REPEATED GAMES

        Add to Reading List

        Source URL: www.iser.osaka-u.ac.jp

        Language: English - Date: 2003-10-02 22:38:05
        40An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it Oliver Friedmann Institut f¨ur Informatik, LMU M¨unchen E-mail:

        An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it Oliver Friedmann Institut f¨ur Informatik, LMU M¨unchen E-mail:

        Add to Reading List

        Source URL: files.oliverfriedmann.de

        Language: English - Date: 2012-02-10 07:43:19