Efficient Monadic−style Backtracking

Efficient Monadic−style Backtracking

Bibliographic Details
Main Author:	Hinze, R
Format:	Report
Published:	Institut für Informatik III‚ Universität Bonn 1996

Similar Items

Deriving backtracking monad transformers
by: Hinze, R
Published: (2000)

Deriving monad transformers
by: Hinze, R
Published: (1999)

Just do it: simple monadic equational reasoning
by: Gibbons, J, et al.
Published: (2011)

Just do It: Simple Monadic Equational Reasoning
by: Gibbons, J, et al.
Published: (2011)

Just do it: Simple monadic equational reasoning
by: Gibbons, J, et al.
Published: (2011)

Just do It: Simple Monadic Equational Reasoning
by: Gibbons, J, et al.
Published: (2011)

Backtracking Counterfactuals Revisited
by: Khoo, Justin Donald
Published: (2018)

A Multipurpose backtracking algorithm
by: Priestley, H, et al.
Published: (1994)

Of Tactics and Monads
by: Martin, A
Published: (1996)

Monads for behaviour
by: Piróg, M, et al.
Published: (2013)

Monads for behaviour
by: Piróg, M, et al.
Published: (2013)

Backtracking Games and Inflationary Fixed Points
by: Dawar, A, et al.
Published: (2006)

Experimenting an approach for the design of backtracking in software
by: Yau, Kin Hung.
Published: (2009)

Backtracking games and inflationary fixed points
by: Dawar, A, et al.
Published: (2004)

Monadic Datalog Containment
by: Benedikt, M, et al.
Published: (2012)

The coinductive resumption monad
by: Piróg, M, et al.
Published: (2014)

Monadic Datalog Containment
by: Benedikt, M, et al.
Published: (2012)

Entangled State Monads
by: Cheney, J, et al.
Published: (2014)

The coinductive resumption monad
by: Piróg, M, et al.
Published: (2014)

Reflections on monadic lenses
by: Abou-Saleh, F, et al.
Published: (2016)

Dependency-Directed Backtracking in Non-Deterministic Scheme
by: Zabih, Ramin
Published: (2009)

Non-backtracking walk centrality for directed networks
by: Arrigo, F, et al.
Published: (2017)

On the exponential generating function for non-backtracking walks
by: Arrigo, F, et al.
Published: (2018)

Experimenting a metric suite for backtracking design
by: Shaw, Wen Yeak.
Published: (2011)

Backtracking to the future: unraveling the origins of childhood leukemia
by: de Smith, AJ, et al.
Published: (2023)

A backtrack procedure for isomorphism of directed graph /
by: 227218 Berztiss, A. T.

Monadic decomposabily of regular relations
by: Barceló, P, et al.
Published: (2019)

Backtracking and Mixing Rate of Diffusion on Uncorrelated Temporal Networks
by: Gueuning, M, et al.
Published: (2017)

A Monadic Interpretation of Tactics
by: Martin, A, et al.
Published: (2015)

Equivalence Problems for Monadic Schemas
by: Qualitz, Joseph E.
Published: (2023)

Quantifiers on languages and codensity monads
by: Gehrke, M, et al.
Published: (2017)

Quantifiers on languages and codensity monads
by: Gehrke, M, et al.
Published: (2021)

Unifying Theories of Programming with Monads
by: Gibbons, J
Published: (2012)

Arrows‚ like Monads‚ are Monoids
by: Heunen, C, et al.
Published: (2006)

The monadic theory of toric words
by: Berthé, V, et al.
Published: (2024)

The Different Aspects of Monads and Mixins
by: dos Santos Oliveira, B
Published: (2009)

Algorithm design with the selection monad
by: Hartmann, J, et al.
Published: (2023)

The quantum monad on relational structures
by: Abramsky, S, et al.
Published: (2017)

MIC: Dr Ms backtracking no surprise any more
by: News Straits, Times
Published: (2017)

MIC: Dr Ms backtracking no surprise any more
by: News Straits, Times
Published: (2017)