Backtracking

Results: 159



#Item
211 Restricting Backtracking in Connection Calculi Jens Otten Institut f¨ur Informatik, University of Potsdam

1 Restricting Backtracking in Connection Calculi Jens Otten Institut f¨ur Informatik, University of Potsdam

Add to Reading List

Source URL: www.jens-otten.de

Language: English - Date: 2012-03-30 11:05:42
    22Briefing Memo   Leaks at Trans-Pacific Trade Talks Confirm Obama Administration Backtracking from Bush Era Access to Medicines Commitments

    Briefing Memo   Leaks at Trans-Pacific Trade Talks Confirm Obama Administration Backtracking from Bush Era Access to Medicines Commitments

    Add to Reading List

    Source URL: www.citizenstrade.org

    Language: English - Date: 2011-10-22 14:14:39
      23More About Converting BNF to PEG∗ Roman R. Redziejowski Abstract Parsing Expression Grammar (PEG) encodes a recursive-descent parser with limited backtracking. The parser has many useful properties. Converting PEG to a

      More About Converting BNF to PEG∗ Roman R. Redziejowski Abstract Parsing Expression Grammar (PEG) encodes a recursive-descent parser with limited backtracking. The parser has many useful properties. Converting PEG to a

      Add to Reading List

      Source URL: www.romanredz.se

      Language: English - Date: 2015-07-01 16:39:08
        24Sage Reference Manual: Games Release 6.7 The Sage Development Team June 24, 2015

        Sage Reference Manual: Games Release 6.7 The Sage Development Team June 24, 2015

        Add to Reading List

        Source URL: doc.sagemath.org

        Language: English - Date: 2015-06-24 05:21:38
        25Chapter Overview From L1 to L2: SLD-derivations From L2 to Prolog: Backtracking The cut in Prolog

        Chapter Overview From L1 to L2: SLD-derivations From L2 to Prolog: Backtracking The cut in Prolog

        Add to Reading List

        Source URL: www.cs.bath.ac.uk

        - Date: 2012-04-02 08:22:44
          26Sage: Open Source Mathematical Software: Symbolic Computation, Combinatorial Species, Backtracking Algorithms, and Distributed Computation William Stein, Gary Furnish, Mike Hansen, Robert Miller, and Yi Qiang March 21, 2

          Sage: Open Source Mathematical Software: Symbolic Computation, Combinatorial Species, Backtracking Algorithms, and Distributed Computation William Stein, Gary Furnish, Mike Hansen, Robert Miller, and Yi Qiang March 21, 2

          Add to Reading List

          Source URL: wstein.org

          Language: English - Date: 2008-04-08 08:25:32
            27Monad Transformers for Backtracking Search Jules Hedges Queen Mary University of London This paper extends Escard´o and Oliva’s selection monad to the selection monad transformer, a general monadic

            Monad Transformers for Backtracking Search Jules Hedges Queen Mary University of London This paper extends Escard´o and Oliva’s selection monad to the selection monad transformer, a general monadic

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2014-04-10 20:31:04
              28Problem Program Search Improvements Chapter 11: Limits of Propagation (Costas

              Problem Program Search Improvements Chapter 11: Limits of Propagation (Costas

              Add to Reading List

              Source URL: 4c.ucc.ie

              Language: English - Date: 2009-06-21 13:46:51
              29The Control of Searching and Backtracking in String Pattern Matching* Ralph E. Griswold TR 82-20

              The Control of Searching and Backtracking in String Pattern Matching* Ralph E. Griswold TR 82-20

              Add to Reading List

              Source URL: www.cs.arizona.edu

              Language: English - Date: 2014-02-09 10:26:58
              30Integrated Logic Systems Part 1: Deduction Systems This part is concerned with the design and use of various deduction systems: Prolog Tableaux-Prover

              Integrated Logic Systems Part 1: Deduction Systems This part is concerned with the design and use of various deduction systems: Prolog Tableaux-Prover

              Add to Reading List

              Source URL: www.cs.bath.ac.uk

              Language: English - Date: 2012-01-04 14:04:47