Вы здесь

Главная

унарный

Связанные издания:

Computation of Flows for Unary-Predicates/Transitions-Nets
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Logic, Language, Information and Computation: Proc./18th International Workshop, WoLLIC 2011, Philadelphia,PA,USA, May 2011
Merging Monads and Folds for Functional Programming
Monads for Functional Programming
Superposition with Simplification as a Decision Procedure for the Monadic Class with Equality