Search

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

Search Constraints

Start Over You searched for: "Constable, Robert L." Remove constraint "Constable, Robert L."
256 results on '"Constable, Robert L."'

Search Results

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

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

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

Catalog

Books, media, physical & digital resources