DE eng

Search in the Catalogues and Directories

Hits 1 – 10 of 10

1
Describing lambda terms in Context Unification
In: http://hal.inria.fr/docs/00/53/65/24/PDF/clls-cu.pdf (2005)
BASE
Show details
2
Ordering constraints over feature trees
In: http://www.ps.uni-saarland.de/Publications/documents/FTSub_97.pdf (2000)
BASE
Show details
3
Relaxing Underspecified Semantic Representations for Reinterpretation
In: http://www.ps.uni-sb.de/Papers/abstracts/Relax99.ps (1999)
BASE
Show details
4
Relaxing Underspecified Semantic Representations for Reinterpretation
In: http://www.ps.uni-sb.de/Papers/abstracts/relax2000.ps (1999)
BASE
Show details
5
Ordering Constraints over Feature Trees
In: http://www.ps.uni-sb.de/Papers/abstracts/ftsub-constraints-99.ps (1999)
BASE
Show details
6
Dominance Constraints in Context Unification
In: http://www.ps.uni-sb.de/Papers/abstracts/Dominance-98-abs.ps (1998)
BASE
Show details
7
Ordering constraints over feature trees
In: http://www.coli.uni-saarland.de/publikationen/softcopies/Muller:1997:OCF.pdf (1997)
BASE
Show details
8
Ordering Constraints over Feature Trees
In: http://www.ps.uni-sb.de/Papers/abstracts/FTSub97.ps (1997)
BASE
Show details
9
Weak Subsumption Constraints for Type Diagnosis: An Incremental Algorithm (Extended Abstract)
In: http://www.elsnet.org/publications/clnlp95/MuellerNiehren.ps.gz (1995)
BASE
Show details
10
Weak Subsumption Constraints for Type Diagnosis: An Incremental Algorithm
In: http://arxiv.org/pdf/cmp-lg/9506002v2.pdf (1995)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
10
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern