Related content

Cutlike semantics for fuzzy logic and its applications

By B  

International Journal of General Systems, Vol. 32, Iss. 4, 2003-07 ,pp. : 305-319

Taylor & Francis Ltd

Access to resources Recommend Favorite

Program schemata vs. automata for decidability of program logics

By Shilov N.V.  

Theoretical Computer Science, Vol. 175, Iss. 1, 1997-03 ,pp. : 15-27

Elsevier

Access to resources Recommend Favorite

A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics

By Yamasaki S.   Kurose Y.  

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 489-512

Elsevier

Access to resources Recommend Favorite

Path Dependent Analysis of Logic Programs: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation

By Lu Lunjin  

LISP and Symbolic Computation, Vol. 16, Iss. 4, 2003-12 ,pp. : 341-377

Springer Publishing Company

Access to resources Recommend Favorite

Cost-Augmented Partial Evaluation of Functional Logic Programs: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation

By Vidal Germán  

LISP and Symbolic Computation, Vol. 17, Iss. 1-2, 2004-03 ,pp. : 7-46

Springer Publishing Company

Access to resources Recommend Favorite