On logic programs that do not fail

By Pedreschi D.   Ruggieri S.  

Electronic Notes in Theoretical Computer Science, Vol. 30, Iss. 1, 2004-01 ,pp. : 1-25

Elsevier

Access to resources Recommend Favorite

On logic programs that always succeed

By Pedreschi D.   Ruggieri S.  

Science of Computer Programming, Vol. 48, Iss. 2, 2003-08 ,pp. : 163-196

Elsevier

Access to resources Recommend Favorite

Transforming constraint logic programs

By Bensaou N.   Guessarian I.  

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 81-125

Elsevier

Access to resources Recommend Favorite

Coverage metrics for temporal logic model checking^*

By Chockler Hana   Kupferman Orna   Vardi Moshe  

Formal Methods in System Design, Vol. 28, Iss. 3, 2006-05 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite

Quantitative Separation Logic and Programs with Lists

By Bozga Marius   Iosif Radu   Perarnau Swann  

Journal of Automated Reasoning, Vol. 45, Iss. 2, 2010-08 ,pp. : 131-156

Springer Publishing Company

Access to resources Recommend Favorite