| DaftarIsitemplate |
| Call Number |
| SEM-198 |
| Title |
| Decidable bounded quantification,Hal 151-162 |
| Author |
| Giuseppe Castagna; Benjamin C.Pierce; |
| Publisher |
| Proceedings 21st ACM SIGPLAN-SIGACT Symposium on principles of programming languages-portland,Oregon,January 17-21,1994 |
| Subject |
| Location |