Anzeige von nach Personenindex Niehren, Joachim

Gehe zu: 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
oder geben Sie die Anfangszeichen ein:  
Anzeige der Treffer 1 bis 19 von 19
ErscheinungsjahrTitelAutor(en)
2001Beta reduction constraintsBodirsky, Manuel; Erk, Katrin; Koller, Alexander, u.a.
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, u.a.
1993Equational and membership constraints for infinite treesNiehren, Joachim; Podelski, Andreas; Treinen, Ralf
2002First-order theory of subtyping constraintsSu, Zhendong; Aiken, Alexander; Niehren, Joachim, u.a.
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, u.a.
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, u.a.
2003Well-nested parallelism constraints for ellipsis resolutionErk, Katrin; Niehren, Joachim