( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A solution of an interleaving decision problem by a partial order technique.

, и . Partial Order Methods in Verification, том 29 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 203-211. DIMACS/AMS, (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.

Albert Meyer

Albert Meyer

Albert Meyer

Albert Meyer

Albert Meyer

 

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

Computational Speed-Up by Effective Operators., и . J. Symb. Log., 37 (1): 55-68 (1972)Equations between Regular Terms and an Application to Process Logic, , , и . STOC, стр. 384-390. ACM, (1981)On Time-Space Classes and Their Relation to the Theory of Real Addition, и . STOC, стр. 233-239. ACM, (1978)Coping with Errors in Binary Search Procedures (Preliminary Report), , , , и . STOC, стр. 227-232. ACM, (1978)Sets that Don't Help, , и . STOC, стр. 130-134. ACM, (1973)Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report., и . CONCUR, том 630 из Lecture Notes in Computer Science, стр. 17-31. Springer, (1992)Observing Truly Concurrent Processes.. TACS, том 789 из Lecture Notes in Computer Science, стр. 886. Springer, (1994)Concurrent Process Equivalences: Some Decision Problems (Abstract).. STACS, том 900 из Lecture Notes in Computer Science, стр. 349. Springer, (1995)A note on disjunctive form tautologies., , , , и . SIGACT News, 5 (2): 17-20 (1973)A solution of an interleaving decision problem by a partial order technique., и . Partial Order Methods in Verification, том 29 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 203-211. DIMACS/AMS, (1996)