| |
In CIKM '01: Proceedings of the tenth international conference on Information and knowledge management (2001), pp. 223-230.
|
| |
In CSL '89: Proceedings of the 3rd Workshop on Computer Science Logic (1990), pp. 382-383.
|
| |
Nat Biotech, Vol. 26, No. 9. (September 2008), pp. 983-984.
|
| |
Transactions on Aspect-Oriented Software Development V In Transactions on Aspect-Oriented Software Development V, Vol. 5490/2009 (2009), pp. 135-186.
|
| |
Business Horizons (16 April 2009)
|
| |
Compiler Construction (2008), pp. 197-212.
|
| |
Journal of the American College of Cardiology, Vol. 39, No. 4. (20 February 2002), pp. 559-564.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. SE-11, No. 7. (1985), pp. 634-643.
|
| |
The Annals of Mathematical Statistics, Vol. 37, No. 6. (1966), pp. 1671-1675.
|
| |
The Annals of Statistics, Vol. 5, No. 2. (1977), pp. 278-291.
|
| |
Graph Transformations (2008), pp. 194-210.
|
| |
Probability Theory and Related Fields, Vol. 92, No. 2. (1 June 1992), pp. 137-149.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 25-49.
|
| |
The Journal of Religion, Vol. 66, No. 4. (1986), pp. 369-385.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Model Based Testing (MBT 2007), Vol. 190, No. 2. (31 August 2007), pp. 85-97.
|
| |
Journal of Biomolecular NMR, Vol. 14, No. 2. (1 June 1999), pp. 123-132.
|
| |
In Logic in Computer Science (1999), pp. 431-442.
|
| |
J. ACM, Vol. 32, No. 2. (April 1985), pp. 249-279.
|
| |
In PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 38, No. 10. (October 2003), pp. 55-65.
|
| |
ACM Trans. Comput. Logic, Vol. 4, No. 3. (July 2003), pp. 355-378.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 14-25.
|
| |
In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 189-200.
|
| |
In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 337-346.
|
| |
In STOC '77: Proceedings of the ninth annual ACM symposium on Theory of computing (1977), pp. 261-268.
|
| |
J. ACM, Vol. 35, No. 4. (October 1988), pp. 953-964.
|
| |
Bulletin of Symbolic Logic, Vol. 2, No. 2. (1996), pp. 127-158.
|
Search
