( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Iterated Chromatic Subdivisions are Collapsible.

, , и . Appl. Categorical Struct., 23 (6): 777-818 (2015)

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.

Gerda Erich

Ull Erich

Hauke Erichsen

Badrian Erich

Klaus Erichson

 

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

Models of fault-tolerant distributed computation via dynamic epistemic logic., и . CoRR, (2017)Durations for Truly-Concurrent Transitions.. ESOP, том 1058 из Lecture Notes in Computer Science, стр. 173-187. Springer, (1996)Schedulers as Abstract Interpreter of Higher Dimensional Automata.. PEPM, стр. 134-145. ACM Press, (1995)Static Analysis of Finite Precision Computations., и . VMCAI, том 6538 из Lecture Notes in Computer Science, стр. 232-247. Springer, (2011)Static Analyses of the Precision of Floating-Point Operations.. SAS, том 2126 из Lecture Notes in Computer Science, стр. 234-259. Springer, (2001)Modular Static Analysis with Zonotopes., , и . SAS, том 7460 из Lecture Notes in Computer Science, стр. 24-40. Springer, (2012)Semantics and Analysis of Linda-Based Languages., и . WSA, том 724 из Lecture Notes in Computer Science, стр. 72-86. Springer, (1993)Detecting Deadlocks in Concurrent Systems., , и . CONCUR, том 1466 из Lecture Notes in Computer Science, стр. 332-347. Springer, (1998)Policy Iteration within Logico-Numerical Abstract Domains., , , и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 290-305. Springer, (2011)On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability., , , , и . CoRR, (2020)