Wolfgang Lux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1999–2001
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | FLOPS | Adding Linear Constraints over Real Numbers to Curry. | Wolfgang Lux |
| 1999 | FLOPS | Implementing Encapsulated Search for a Lazy Functional Logic Language. | Wolfgang Lux |
| 1999 | GI | An Efficient Abstract Machine for Curry. | Wolfgang Lux, Herbert Kuchen |