( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Principles of Maude.

, , , и . WRLA, том 4 из Electronic Notes in Theoretical Computer Science, стр. 65-89. Elsevier, (1996)

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.

Ulrich Lincoln

Tania Lincoln

Tania Lincoln

Bryan Lincoln

Tania Lincoln

 

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

Analyzing Pathways Using SAT-Based Approaches., , , , и . AB, том 4545 из Lecture Notes in Computer Science, стр. 155-169. Springer, (2007)Decision Problems for Propositional Linear Logic., , , и . Ann. Pure Appl. Log., 56 (1-3): 239-311 (1992)Epidemic profiles and defense of scale-free networks., , и . WORM, стр. 67-75. ACM Press, (2003)A Probabilistic Poly-Time Framework for Protocol Analysis., , , и . ACM Conference on Computer and Communications Security, стр. 112-121. ACM, (1998)Linear logic proof games and optimization., , и . Bull. Symb. Log., 2 (3): 322-338 (1996)The Maude 2.0 System, , , , , , и . Rewriting Techniques and Applications (RTA'03), том 2706 из LNCS, стр. 76--87. Springer-Verlag, (2003)Formal Methods at Scale., , и . IEEE Secur. Priv., 20 (3): 22-23 (2022)Adventures in Associative-Commutative Unification., и . J. Symb. Comput., 8 (1/2): 217-240 (1989)Certifying and Synthesizing Membership Equational Proofs., , , и . FME, том 2805 из Lecture Notes in Computer Science, стр. 359-380. Springer, (2003)Distributed Simulation of Parallel Executions., , и . Annual Simulation Symposium, стр. 15-24. IEEE Computer Society, (1996)