"Peg Solitaire"

Key Phrases: International Conference, Springer-Verlag Berlin Heidelberg, Higher Order Logics, International Workshop, Computer Society Press, Cornell University, sequent schema, reachable end states, cumulativity relation, squash operator, whisky problem, trading theorem (see more)

Key Phrases: International Conference, Springer-Verlag Berlin Heidelberg, Higher Order Logics, International Workshop, Computer Society Press, Cornell University, Dale Miller, Cambridge University Press, Peg Solitaire, Aleksey Nogin, Alexei Kopylov, Journal of Automated Reasoning, Annual Symposium, Computational Logic, University of Cambridge, University of Edinburgh, John Harrison, Principles of Programming Languages, Robert Constable, University of British Columbia, Carnegie Mellon University, Journal of Symbolic Computation, New York, Academic Press, Electronic Notes, sequent schema, reachable end states, cumulativity relation, squash operator, whisky problem, trading theorem, rule dts, generalisation critic, sequent scheme, control flow predicates, probabilistic termination, display calculi, quotient types, seq nil, instr list, list atm, display calculus, near triangulations, definitional reflection, accessibility predicate, implicit universes, natural number induction, order abstract syntax, principal cut, pause statements (see less)

Key Phrases: Exercises Exercise, Advanced Student Scheme, Beginning Student Scheme, Fahrenheit Celsius, Mean Value Theorem, Designing Abstractions, rest alon, generative recursion, first alon, first alos, pivot item, complete function definition (see more)

Key Phrases: Exercises Exercise, Advanced Student Scheme, Beginning Student Scheme, Fahrenheit Celsius, Mean Value Theorem, Designing Abstractions, Peg Solitaire, Phase Goal Activity Data, Carl Bettina, Exercises Section, Finger Exercises, Full Scheme, Intermediate Student Scheme, Help Desk, Processing Two Lists Simultaneously, Suppose the Definitions, Use the Scheme, rest alon, generative recursion, first alon, first alos, pivot item, complete function definition, natural recursion, new status word, posn posn, delta pixels, generalized constructor, structure mutators, greatest common divisior, artist title price, structurally recursive function, function consumes, design recipe, selector expressions, following data definition, generative step, new data definition, list symbol number, inexact numbers, orig dest, designing functions (see less)

Key Phrases: Springer-Verlag Berlin Heidelberg, International Conference, Morgan Kaufmann, Science Foundation Ireland, Lecture Notes, University College Cork, subatomic relations, classical declarative semantics, graph domain variables, intermediate digraph, social golfer problem, unconditional symmetries (see more)

Key Phrases: Springer-Verlag Berlin Heidelberg, International Conference, Morgan Kaufmann, Science Foundation Ireland, Lecture Notes, University College Cork, Cork Constraint Computation Centre, Warwick Harvey, Mob Story, New York, Toby Walsh, International Workshop, Introduction Constraint, John Wiley, Joint Conf, Suboptimality Conflict, University of Toronto, Yves Deville, École des Mines de Nantes, Barry O'Sullivan, Conflict-directed Backtrack, Ian Miguel, Imperial College London, Rina Dechter, Thom Frühwirth, subatomic relations, classical declarative semantics, graph domain variables, intermediate digraph, social golfer problem, unconditional symmetries, penalty mappings, idempotent clone, using computational group theory, channeling constraints, approximate subgraph matching, approximated consistency, boolean cardinality constraints, generalized conflict learning, supermodular constraints, eplex library, seeding heuristic, quantified constraint satisfaction problems, maintaining longest paths, future subproblem, given global constraint, final digraph, interactive reconfiguration, online stochastic optimization, activity disjunction (see less)

Key Phrases: New York, Scientific American, Plane Geometry, American Mathematical Monthly, Journal of Recreational Mathematics, Solid Geometry, algorithmic puzzles, additive persistence, incomparable rectangles, first black ace, reentrant tour, nim sum (see more)

Key Phrases: New York, Scientific American, Plane Geometry, American Mathematical Monthly, Journal of Recreational Mathematics, Solid Geometry, Mathematics Magazine, Word Ways, Raymond Smullyan, Physical Objects, The Mathematical Gazette, Henry Ernest Dudeney, Lewis Carroll, North Pole, Journal of Combinatorial Theory, Washington High, John Harris, Scripta Mathematica, Fitch Cheney, Dmitri Borgmann, New Jersey, Oxford University Press, John Horton Conway, Sam Loyd, Robert Abbott, algorithmic puzzles, additive persistence, incomparable rectangles, first black ace, reentrant tour, nim sum, digital root, dragon curve, whim move, gray cube, acute isosceles, geometric puzzles, counting rotations, spin the table, acute triangles (see less)