AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Ulf Nilsson

Ulf Nilsson

Linköping University - Linköping / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1400946
Linköpings universitet
person_outline Ulf Nilsson's MOST POPULAR ARTICLES
1-) Logic, Programming and Prolog (2ed) John Wiley, 1995
2-) A comparative study of industrial static analysis tools Electronic notes in theoretical computer science 217, 5-21, 2008
3-) Constraint logic programming for local and symbolic model-checking International Conference on Computational Logic, 384-398, 2000
4-) AID: An alternative implementation of DCGs New Generation Computing 4 (4), 383-399, 1986
5-) Systematic semantic approximations of logic programs International Workshop on Programming Language Implementation and Logic …, 1990