Search

Your search keyword '"Constable, Robert L."' showing total 70 results

Search Constraints

Start Over You searched for: "Constable, Robert L." Remove constraint "Constable, Robert L." Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
70 results on '"Constable, Robert L."'

Search Results

1. Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language

2. Building Mathematics-Based Software Systems to Advance Science and Create Knowledge

3. MetaPRL – A Modular Logical Environment

4. The Nuprl Open Logical Environment

20. Partial functions in comstructive formal theories

21. The type theory of PL/CV3

25. Dexter Kozen’s Influence on the Theory of Labelled Markov Processes

26. Overloading Is NP-Complete : A Tutorial Dedicated to Dexter Kozen

27. Travelling with Dexter Kozen

28. Timesharing Dexter

29. Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model

30. On Topological Completeness of Regular Tree Languages

31. Nuprl as Logical Framework for Automating Proofs in Category Theory

32. A Complete Logical System for the Equality of Recursive Terms for Sets

33. Reflections on a \m Time with Dexter Kozen

34. The Compass That Steered Robotics

35. Subtyping for F-Bounded Quantifiers and Equirecursive Types

36. Capsules and Closures: A Small-Step Approach

37. Brzozowski’s Algorithm (Co)Algebraically

38. Residuated Kleene Algebras

39. Meditations on Quantified Constraint Satisfaction

40. Experimental Descriptive Complexity

41. The Complexity of Inhabitation with Explicit Intersection

42. On Distance Coloring : A Review Based on Work with Dexter Kozen

43. Combining Epistemic Logic and Hennessy-Milner Logic

44. On State Sequences Defined by Reaction Systems

45. Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information

46. Choice and Uncertainty in Games

47. On the Final Coalgebra of Automatic Sequences

48. An Appreciation of Dexter Kozen

49. Dexter as a PhD Advisor

50. Rock’n’Roll Computer Science

Catalog

Books, media, physical & digital resources