( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Understanding functional dependencies via constraint handling rules.

, , , и . J. Funct. Program., 17 (1): 83-129 (2007)

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.

Ursula Sulzmann

Reinhold Sulzmann

Auguste Sulzmann

Reinhold Sulzmann

Klaus Sulzmann

 

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

Modular generic programming with extensible superclasses., и . ICFP-WGP, стр. 55-65. ACM, (2006)LTL Semantic Tableaux and Alternating ω -automata via Linear Factors., и . ICTAC, том 11187 из Lecture Notes in Computer Science, стр. 11-34. Springer, (2018)Derivative-Based Diagnosis of Regular Expression Ambiguity., и . Int. J. Found. Comput. Sci., 28 (5): 543-562 (2017)A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching., и . CC, том 8409 из Lecture Notes in Computer Science, стр. 174-191. Springer, (2014)Transactions in Constraint Handling Rules., и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 516-530. Springer, (2008)On Termination, Confluence and Consistent CHR-based Type Inference., , и . Theory Pract. Log. Program., 14 (4-5): 619-632 (2014)Complete and decidable type inference for GADTs., , , и . ICFP, стр. 341-352. ACM, (2009)Solving of Regular Equations Revisited., и . ICTAC, том 11884 из Lecture Notes in Computer Science, стр. 392-409. Springer, (2019)Improving type error diagnosis., , и . Haskell, стр. 80-91. ACM, (2004)Efficient, near complete, and often sound hybrid dynamic data race prediction., и . MPLR, стр. 30-51. ACM, (2020)