Sciweavers

233 search results - page 2 / 47
» Intelligent compilers
Sort
View
WIA
2007
Springer
14 years 5 months ago
A New Method for Compiling Parallel Replacement Rules
Anssi Yli-Jyrä, Kimmo Koskenniemi
JELIA
2004
Springer
14 years 4 months ago
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
Alessandro Armando, Luca Compagna, Yuliya Lierler
AAAI
2000
14 years 6 days ago
Compilability of Abduction
Paolo Liberatore, Marco Schaerf