256 results on '"Constable, Robert L."'
Search Results
102. VERking in constructive set theory
103. Programs as proofs: a synopsis
104. On Classes of Program Schemata
105. Subrecursive programming languages II on program size
106. Proof Assistants and the Dynamic Nature of Formal Theories
107. Book Review: Theory of program structures: schemes, semantics, verification
108. Special SIGACT issue Sixth Annual ACM Symposium on Theory of Computing
109. Chapter X Types in logic, mathematics and programming
110. What Types Should Not Be.
111. Dexter Kozen’s Influence on the Theory of Labelled Markov Processes
112. Overloading Is NP-Complete : A Tutorial Dedicated to Dexter Kozen
113. Travelling with Dexter Kozen
114. Timesharing Dexter
115. Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer Model
116. On Topological Completeness of Regular Tree Languages
117. Nuprl as Logical Framework for Automating Proofs in Category Theory
118. A Complete Logical System for the Equality of Recursive Terms for Sets
119. Reflections on a \m Time with Dexter Kozen
120. The Compass That Steered Robotics
121. Subtyping for F-Bounded Quantifiers and Equirecursive Types
122. Capsules and Closures: A Small-Step Approach
123. Brzozowski’s Algorithm (Co)Algebraically
124. Residuated Kleene Algebras
125. Meditations on Quantified Constraint Satisfaction
126. Experimental Descriptive Complexity
127. The Complexity of Inhabitation with Explicit Intersection
128. On Distance Coloring : A Review Based on Work with Dexter Kozen
129. Combining Epistemic Logic and Hennessy-Milner Logic
130. On State Sequences Defined by Reaction Systems
131. Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information
132. Choice and Uncertainty in Games
133. On the Final Coalgebra of Automatic Sequences
134. An Appreciation of Dexter Kozen
135. BackMatter.
136. Author index.
137. Dexter as a PhD Advisor
138. Rock’n’Roll Computer Science
139. Dexter Kozen: An Appreciation
140. Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance
141. BackMatter.
142. A Small Tribute
143. To Dexter - A Tribute from Aarhus
144. Making the World a Better Place
145. A Tribute from the Band
146. Two Three Pages Papers
147. A logic for expressions with side-effects.
148. Program checking.
149. Index.
150. References.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.