Related Topics
Experts

1

2

3

4

5

6

7

8

9

10
Publications (32)

1Parsing And Derivational Equivalence1989  Mark Hepple,Glyn Morrillpaper we show how notions of derivationreduction and normal form can be used to avoid unnecessary work while parsing with...

2The Formal and Processing Models of CLG1991  Luis DAMAS,Giovanni B. Varileused by Jonhson 151 for reducing the constraint c to normal form, it is possible to find all the equalities of the form...

3Proof Figures And Structural Operators For Categorial Grammarinto equivalence classes. We shall define a notion of normal form for proofs (and their corresponding terms) in such a way...

4Classical Logics For AttributeValue Languages1991  Jurgen Wedekinddc'scription is converted to disjunctive normal form. Since a formula in disjunctive normal form is consis. tent, ill" at least...

5Computational Semantics Of Mass Terms1989  Jan Tore Lonningvalidity of LM sentences. The procedure is a combination of a normal form procedure and a tableau procedure (see e.g. Smullyan, 1968)...

6Extended Graph Unification1989  Allan RamsayG2". We can make it much more constrained by imposing a normal form on graphs. The first thing we need for this is an arbitrary...

7Some Remarks on the Decidability of the Generation Problem in LFG and PATRStyle Unification Grammars1995  Jurgen Wedekindminimal model, and on the other hand determined by a normal form into which every feature description can be converted...

8Stochastic Modeling Of Language Via Sentence Space Partitioning1987  Alex Martelliin predictive normal form \[2\]. The predictive power of two language models in predictive normal form can always be compared...

9Selective Magic HPSG Parsing1999  Guido Minnen(graph) unification provided they are in normal form. (GStz, 1994) describes a normal form for ir~r£ terms, where typed feature...

10Deterministic Consistency Checking of LP Constraints1995  Suresh Manandharapplicable to it. We say that a set of constraints in normal form contains a c lash if it contains constraints of the form:...