Making abstract domains condensing
ACM Transactions on Computational Logic (TOCL)
Integration of declarative and constraint programming
Theory and Practice of Logic Programming
Unfolding-based Improvements on Fuzzy Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
On fuzzy unfolding: A multi-adjoint approach
Fuzzy Sets and Systems
Abstract diagnosis of first order functional logic programs
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Anti-unification algorithms and their applications in program analysis
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Dynamic composition of parameterised logic modules
Computer Languages
Hi-index | 0.00 |