( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Algebraic Cell Decomposition in NC (Preliminary Version)

, и . FOCS, стр. 515-521. IEEE Computer Society, (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Dexter S Maben

 

Другие публикации лиц с тем же именем

Reflection in the Chomsky Hierarchy., , и . Journal of Automata, Languages and Combinatorics, 18 (1): 53-60 (2013)Relational Semantics for Higher-Order Programs., и . MPC, том 4014 из Lecture Notes in Computer Science, стр. 29-48. Springer, (2006)The Böhm-Jacopini Theorem Is False, Propositionally., и . MPC, том 5133 из Lecture Notes in Computer Science, стр. 177-192. Springer, (2008)Complexity of Finitely Presented Algebras. STOC, стр. 164-177. ACM, (1977)Set Constraints and Logic Programming.. CCL, том 845 из Lecture Notes in Computer Science, стр. 302-303. Springer, (1994)A Complete Gentzen-Style Axiomatization for Set Constraints., и . ICALP, том 1099 из Lecture Notes in Computer Science, стр. 134-145. Springer, (1996)Nominal Kleene Coalgebra., , , и . ICALP (2), том 9135 из Lecture Notes in Computer Science, стр. 286-298. Springer, (2015)A Programming Language for the Inductive Sets, and Applications., и . ICALP, том 140 из Lecture Notes in Computer Science, стр. 313-329. Springer, (1982)On Induction vs. *-Continuity.. Logic of Programs, том 131 из Lecture Notes in Computer Science, стр. 167-176. Springer, (1981)Local Variable Scoping and Kleene Algebra with Tests., и . RelMiCS, том 4136 из Lecture Notes in Computer Science, стр. 78-90. Springer, (2006)