An Algebraic View on Recursive Types

By Marz M.  

Applied Categorical Structures, Vol. 7, Iss. 1-2, 1999-06 ,pp. : 147-157

Springer Publishing Company

Access to resources Recommend Favorite

On Resemblance and Recursive Isomorphism Types of Partial Recursive Functions

By Polyakov E.A.  

Siberian Mathematical Journal, Vol. 42, Iss. 1, 2001-01 ,pp. : 131-133

Springer Publishing Company

Access to resources Recommend Favorite

A Coinduction Principle for Recursive Data Types Based on Bisimulation

By Fiore M.P.  

Information and Computation, Vol. 127, Iss. 2, 1996-06 ,pp. : 186-198

Academic Press

Access to resources Recommend Favorite

Efficient Algorithms for Approximate String Matching with Swaps

By Kim D.K.   Lee J-S.   Park K.   Cho Y.  

Journal of Complexity, Vol. 15, Iss. 1, 1999-03 ,pp. : 128-147

Academic Press

Access to resources Recommend Favorite

Efficient Many-To-Many Point Matching in One Dimension

By Colannino Justin   Damian Mirela   Hurtado Ferran   Langerman Stefan   Meijer Henk   Ramaswami Suneeta   Souvaine Diane   Toussaint Godfried  

Graphs and Combinatorics, Vol. 23, Iss. 1, 2007-06 ,pp. : 169-178

Springer Publishing Company

Access to resources Recommend Favorite