28 |
Graph transformation systems in Constraint Handling Rules: improved methods for program analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
32 |
Explicit and implicit parallel functional programming : concepts and implementation ... : Explizite und implizite parallelefunktionale Programmierung: Konzepte und Implementierung ...
|
|
|
|
BASE
|
|
Show details
|
|
34 |
Abstraction, Reformulation, and Approximation : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings
|
|
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
39 |
Constraint Solving and Language Processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
|
|
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
40 |
Logical Aspects of Computational Linguistics : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
|
|
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
|
|