Equational programming in -calculus via SL-systems. Part 1

By Tronci E.  

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 145-184

Elsevier

Access to resources Recommend Favorite

An algorithm which learns multiple covers via integer linear programming. Part I: the CLILP2 algorithm

By Cios Krzysztof J   Liu Ning  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 24, Iss. 2, 1995-02 ,pp. : 29-50

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Incremental constraint satisfaction for equational logic programming

By Alpuente M.   Falaschi M.   Levi G.  

Theoretical Computer Science, Vol. 142, Iss. 1, 1995-05 ,pp. : 27-57

Elsevier

Access to resources Recommend Favorite

Equational unification, word unification, and 2nd-order equational unification

By Otto F.   Narendran P.   Dougherty D.J.  

Theoretical Computer Science, Vol. 198, Iss. 1, 1998-05 ,pp. : 1-47

Elsevier

Access to resources Recommend Favorite

Nondeterministic regular expressions as solutions of equational systems

By De Nicola R.   Labella A.  

Theoretical Computer Science, Vol. 302, Iss. 1, 2003-06 ,pp. : 179-189

Elsevier

Access to resources Recommend Favorite