7 search results - page 2 / 2 » Harnessing First Order Termination Provers Using Higher Orde... |
WFLP
2009
Springer
13 years 11 months ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
LREC
2010
13 years 6 months ago
2010
This paper describes a hybrid tagger/parser for French (FrAG), and presents results from ongoing development work, corpus annotation and evaluation. The core of the system is a se...