( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Certification of Compiler Optimizations Using Kleene Algebra with Tests

, и . Computational Logic — CL 2000, Springer Berlin Heidelberg, (2000)
DOI: 10.1007/3-540-44957-4_38

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)Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming., , , , и . CoRR, (2016)Natural Transformations as Rewrite Rules and Monad Composition.. Logical Methods in Computer Science, (2019)Computing the Newtonian Graph., и . J. Symb. Comput., 24 (2): 125-136 (1997)Kleene Algebra with Tests.. ACM Trans. Program. Lang. Syst., 19 (3): 427-443 (1997)A Programming Language for the Inductive Sets, and Applications, и . Inf. Control., 63 (1/2): 118-139 (октября 1984)On Free ω-Continuous and Regular Ordered Algebras., и . Log. Methods Comput. Sci., (2019)KAT-ML: an interactive theorem prover for Kleene algebra with tests., и . J. Appl. Non Class. Logics, 16 (1-2): 9-34 (2006)On Free ω-Continuous and Regular Ordered Algebras., и . CoRR, (2016)On Moessner's Theorem., и . The American Mathematical Monthly, 120 (2): 131-139 (2013)