Browsing by Index of Persons Niehren, Joachim
Showing results 1 to 19 of 19
Year of Publication | Title | Author(s) | Open Access |
2001 | Beta reduction constraints | Bodirsky, Manuel; Erk, Katrin; Koller, Alexander, et al |  |
2003 | Bridging the gap between underspecification formalisms : hole semantics as dominance constraints | Koller, Alexander; Niehren, Joachim; Thater, Stefan |  |
2003 | Bridging the gap between underspecification formalisms : minimal recursion semantics as dominance constraints | Niehren, Joachim; Thater, Stefan |  |
2001 | The constraint language for lambda structures | Egg, Markus; Koller, Alexander; Niehren, Joachim |  |
2002 | Constraint programming in computational linguistics | Koller, Alexander; Niehren, Joachim |  |
2003 | Describing lambda terms in context unification | Niehren, Joachim; Villaret, Mateu |  |
2003 | An efficient graph algorithm for dominance constraints | Althaus, Ernst; Duchier, Denys; Koller, Alexander, et al |  |
1993 | Equational and membership constraints for infinite trees | Niehren, Joachim; Podelski, Andreas; Treinen, Ralf |  |
2002 | First-order theory of subtyping constraints | Su, Zhendong; Aiken, Alexander; Niehren, Joachim, et al |  |
1995 | Functional computation as concurrent computation | Niehren, Joachim |  |
1994 | Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen | Niehren, Joachim |  |
2004 | A new algorithm for normal dominance constraints | Bodirsky, Manuel; Duchier, Denys; Miele, Sebastian, et al |  |
2001 | Non-structural subtype entailment in automata theory | Niehren, Joachim; Priesnitz, Tim |  |
2003 | Non-structural subtype entailment in automata theory | Niehren, Joachim; Priesnitz, Tim |  |
2002 | Parallelism and tree regular constraints | Niehren, Joachim; Villaret, Mateu |  |
2002 | Processing underspecified semantic representations in the constraint language for lambda structures | Erk, Katrin; Koller, Alexander; Niehren, Joachim |  |
2004 | Subtype satisfiability and entailment | Priesnitz, Tim |  |
2001 | Underspecified beta reduction | Bodirsky, Manuel; Erk, Katrin; Koller, Alexander, et al |  |
2003 | Well-nested parallelism constraints for ellipsis resolution | Erk, Katrin; Niehren, Joachim |  |