Sciweavers

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