Title
Consistency Checking by Type Inference and Constraint Satisfaction
Year
DOI
Field
1997
10.1007/978-1-4471-0997-6_20
Discrete mathematics,Constraint satisfaction,Local consistency,Computer science,Constraint satisfaction problem,Theoretical computer science,Type inference,Formal specification,Weak consistency,Constraint logic programming,Reliability engineering,Hybrid algorithm (constraint satisfaction)
DocType
Citations 
PageRank 
Conference
1
0.36
References 
Authors
2
1
Name
Order
Citations
PageRank
Yahia Lebbah111519.34