Browsing by Index of Persons Niehren, Joachim

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 19 of 19
Year of PublicationTitleAuthor(s)Open Access
2001Beta reduction constraintsBodirsky, Manuel; Erk, Katrin; Koller, Alexander, et al
2003Bridging the gap between underspecification formalisms : hole semantics as dominance constraintsKoller, Alexander; Niehren, Joachim; Thater, Stefan
2003Bridging the gap between underspecification formalisms : minimal recursion semantics as dominance constraintsNiehren, Joachim; Thater, Stefan
2001The constraint language for lambda structuresEgg, Markus; Koller, Alexander; Niehren, Joachim
2002Constraint programming in computational linguisticsKoller, Alexander; Niehren, Joachim
2003Describing lambda terms in context unificationNiehren, Joachim; Villaret, Mateu
2003An efficient graph algorithm for dominance constraintsAlthaus, Ernst; Duchier, Denys; Koller, Alexander, et al
1993Equational and membership constraints for infinite treesNiehren, Joachim; Podelski, Andreas; Treinen, Ralf
2002First-order theory of subtyping constraintsSu, Zhendong; Aiken, Alexander; Niehren, Joachim, et al
1995Functional computation as concurrent computationNiehren, Joachim
1994Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen VariablenNiehren, Joachim
2004A new algorithm for normal dominance constraintsBodirsky, Manuel; Duchier, Denys; Miele, Sebastian, et al
2001Non-structural subtype entailment in automata theoryNiehren, Joachim; Priesnitz, Tim
2003Non-structural subtype entailment in automata theoryNiehren, Joachim; Priesnitz, Tim
2002Parallelism and tree regular constraintsNiehren, Joachim; Villaret, Mateu
2002Processing underspecified semantic representations in the constraint language for lambda structuresErk, Katrin; Koller, Alexander; Niehren, Joachim
2004Subtype satisfiability and entailmentPriesnitz, Tim
2001Underspecified beta reductionBodirsky, Manuel; Erk, Katrin; Koller, Alexander, et al
2003Well-nested parallelism constraints for ellipsis resolutionErk, Katrin; Niehren, Joachim