| |
Phys. Rev. D, Vol. 73, No. 4. (February 2006), 043515.
|
| |
ArXiv High Energy Physics - Phenomenology e-prints (December 1997)
|
| |
ArXiv General Relativity and Quantum Cosmology e-prints (January 2001)
|
| |
Journal of Mathematical Physics, Vol. 47, No. 11. (2006)
|
| |
In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000)
|
| |
Pervasive Computing, IEEE, Vol. 4, No. 4. (2005), pp. 91-94.
|
| |
|
| |
|
| |
In CHI '93: Proceedings of the SIGCHI conference on Human factors in computing systems (1993), pp. 293-300.
|
| |
|
| |
|
| |
|
| |
New Generation Computing, Vol. 15, No. 1. (1997), pp. 27-58.
|
| |
In Proceedings of Mathematical Foundation of Computer Science (1993)
|
| |
|
| |
Comput. Math. Organ. Theory, Vol. 7, No. 4. (December 2001), pp. 311-330.
|
| |
In Workshop on Algebraic Development Techniques (1997), pp. 333-348.
|
| |
In CADE-17: Proceedings of the 17th International Conference on Automated Deduction (2000), pp. 170-176.
|
| |
In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, Vol. 2 (1996), pp. 621-626.
|
| |
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002. Proceedings (2002), pp. 131-138.
|
| |
|
| |
ArXiv Physics e-prints (October 2005)
|
| |
ArXiv Physics e-prints (November 2003)
|
| |
In International Conference on Theorem Proving in Higher Order Logics (TPHOLs) (2002)
|
| |
In TACS '94: Proceedings of the International Conference on Theoretical Aspects of Computer Software (1994), pp. 141-160.
|
| |
J Logic Computation, Vol. 3, No. 1. (1 February 1993), pp. 47-61.
|
| |
|
| |
In Foundations of Software Science and Computation Structure (2002), pp. 326-341.
|
| |
In Working Notes of 3rd ModelAge Workshop: Formal Models of Agents (1996)
|
| |
|
| |
In Conference on Automated Deduction (1992), pp. 567-581.
|
| |
|
| |
|
| |
Progress of Theoretical Physics Supplement, Vol. 148 (2002), pp. 1-28.
|
| |
Nuclear Physics B, Vol. 443 (24 Mar 1995), pp. 85-126.
|
| |
Nuclear Physics B, Vol. 438 (13 Jan 1995), pp. 109-137.
|
| |
Nuclear Physics B, Vol. 452 (February 1995), pp. 261-282.
|
| |
ArXiv Mathematics e-prints (March 2001)
|
| |
Software Specification and Design, 1996., Proceedings of the 8th International Workshop on (1996), pp. 46-55.
|
| |
In Cooperative Knowledge Processing (1996), pp. 212-229.
|
| |
In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World : Multi-Agent System Engineering (MAAMAW-99), Vol. 1647 (~March0--~February 1999), pp. 8-27.
|
| |
|
| |
In Proceedings of the 13th International Conference on Automated Deduction, (New Brunswick, NJ), Vol. 1104 (1996), pp. 463-477.
|
| |
No. MIT/LCS/TM-361. (1988)
|
| |
|
| |
ArXiv Physics e-prints (June 2004)
|
| |
American Journal of Physics, Vol. 66 (September 1998), pp. 753-767.
|
| |
ArXiv Quantum Physics e-prints (October 2001)
|
| |
ArXiv Physics e-prints (October 2006)
|
| |
|
CiteULike
scis0000001's CiteULike
Search
