( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Variable ranges in linear constraints.

, и . SAC, стр. 2061-2065. ACM, (2010)

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.

Volker Frederking

Matthias Frederichs

Marie-Catherine Frederiksen

Heinz Frede

Walter Fredehold

 

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

Typing linear constraints., и . ACM Trans. Program. Lang. Syst., 32 (6): 21:1-21:42 (2010)An SMT-Based Concolic Testing Tool for Logic Programs., , , , , и . FLOPS, том 12073 из Lecture Notes in Computer Science, стр. 215-219. Springer, (2020)Variable ranges in linear constraints., и . SAC, стр. 2061-2065. ACM, (2010)Eventual linear ranking functions., и . PPDP, стр. 229-238. ACM, (2013)Using CLP Simplifications to Improve Java Bytecode Termination Analysis., , и . BYTECODE@ETAPS, том 253 из Electronic Notes in Theoretical Computer Science, стр. 129-144. Elsevier, (2009)Concolic Testing in CLP., , и . Theory Pract. Log. Program., 20 (5): 671-686 (2020)Automated Theorem Proving for Prolog Verification., , и . LPAR Complementary Volume, том 18 из Kalpa Publications in Computing, стр. 137-151. EasyChair, (2024)