Year | DOI | Venue |
---|---|---|
1996 | 10.1145/237721.237735 | POPL |
Keywords | Field | DocType |
constraint logic language,engineering design,symmetry,formal specification,z notation,decision support,relational calculus | Relational calculus,Operational semantics,Mathematical optimization,Programming language,Computer science,Correctness,Theoretical computer science,Formal specification,Modal logic,Constraint logic programming,Logical framework,Semantics | Conference |
ISBN | Citations | PageRank |
0-89791-769-3 | 17 | 0.98 |
References | Authors | |
18 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kannan Govindarajan | 1 | 150 | 13.37 |
Bharat Jayaraman | 2 | 509 | 50.19 |
Surya Mantha | 3 | 85 | 7.86 |