A highly realistic training simulator for the tunneling jumbo sandvik DT1130-C data (English)
HSC, 259-265 (2009).
1
Extra variables can be eliminated from functional logic programs. (English)
Electron. Notes Theor. Comput. Sci. 188, 3-19 (2007).
2
A graphical environment for functional logic languages (English)
WFLP, 404-417 (2000).
3