PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Treinen, Ralf"

Author of the publication

copydeleteadd this publication to your clipboard
Dominance Constraints: Algorithms and Complexity.

, , and . LACL, volume 2014 of Lecture Notes in Computer Science, page 106-125. Springer, (1998)

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. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Ralf Finger University of Stuttgart

Ralf Eisinger University of Stuttgart

Ralf Sauerwald University of Stuttgart

Ralf Rettich University of Stuttgart

Dr. Ralf Klemt University of Stuttgart

 

Other publications of authors with the same name

A modular package manager architecture., , , and . Information & Software Technology, 55 (2): 459-474 (2013)Symbolic protocol analysis for monoidal equational theories., , , and . Inf. Comput., 206 (2-4): 312-351 (2008)A Formally Verified Interpreter for a Shell-Like Programming Language., , and . VSTTE, volume 10712 of Lecture Notes in Computer Science, page 1-18. Springer, (2017)Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or., , , and . ICALP (2), volume 4052 of Lecture Notes in Computer Science, page 132-143. Springer, (2006)Ordering Constraints on Trees., and . CAAP, volume 787 of Lecture Notes in Computer Science, page 1-14. Springer, (1994)Dominance Constraints: Algorithms and Complexity., , and . LACL, volume 2014 of Lecture Notes in Computer Science, page 106-125. Springer, (1998)Intruder Deduction for AC-Like Equational Theories with Homomorphisms., , and . RTA, volume 3467 of Lecture Notes in Computer Science, page 308-322. Springer, (2005)Equational and Membership Constraints for Finite Trees., , and . RTA, volume 690 of Lecture Notes in Computer Science, page 106-120. Springer, (1993)Grid Structure and Undecidable Constraint Theories., , and . TAPSOFT, volume 1214 of Lecture Notes in Computer Science, page 357-368. Springer, (1997)Logics for Unordered Trees with Data Constraints on Siblings., , , and . LATA, volume 8977 of Lecture Notes in Computer Science, page 175-187. Springer, (2015)