Squaring transducers: an efficient procedure for deciding functionality and sequentiality

By Beal M.-P.   Carton O.   Prieur C.   Sakarovitch J.  

Theoretical Computer Science, Vol. 292, Iss. 1, 2003-01 ,pp. : 45-63

Elsevier

Access to resources Recommend Favorite

An efficient method for estimating null values in relational databases

By Wang Jia-Wen   Cheng Ching-Hsue  

Knowledge and Information Systems, Vol. 12, Iss. 3, 2007-08 ,pp. : 379-394

Springer Publishing Company

Access to resources Recommend Favorite

A polynomial algorithm for deciding bisimilarity of normed context-free processes

By Hirshfeld Y.   Jerrum M.   Moller F.  

Theoretical Computer Science, Vol. 158, Iss. 1, 1996-05 ,pp. : 143-159

Elsevier

Access to resources Recommend Favorite

Deciding on Databases: Strategies for Selecting in Latin American and Spanish Language Studies

By Ackerman Holly  

The Charleston Advisor, Vol. 16, Iss. 2, 2014-10 ,pp. : 64-67

The Charleston Company

Access to resources Recommend Favorite

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership

By Cantone Domenico   Zarba Calogero   Cannata Rosa  

Journal of Automated Reasoning, Vol. 34, Iss. 1, 2005-01 ,pp. : 49-72

Springer Publishing Company

Access to resources Recommend Favorite