| |
Research, Innovation and Vision for the Future, 2006 International Conference on In Research, Innovation and Vision for the Future, 2006 International Conference on (2006), pp. 229-236.
|
| |
J. Am. Soc. Inf. Sci. Technol., Vol. 57, No. 14. (December 2006), pp. 1977-1978.
|
| |
Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences), Vol. 44, No. 2. (1 April 2009), pp. 81-96.
|
| |
|
| |
|
| |
Biosens Bioelectron, Vol. 20, No. 12. (15 June 2005), pp. 2404-2407.
|
| |
|
| |
Foundations of Science, Vol. 3, No. 2. (26 November 1998), pp. 259-283.
|
| |
|
| |
In UAI '00: Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence (2000), pp. 371-379.
|
| |
The Philosophical Review, Vol. 88, No. 3. (1979), pp. 327-365.
|
| |
In AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems (2005), pp. 560-567.
|
| |
Meta-Programming in Logic (1992), pp. 235-249.
|
| |
In Proceedings of the Conference on Categorical Algebra (1966), pp. 1-21.
|
| |
Synthese, Vol. 101, No. 1. (1 October 1994), pp. 1-14.
|
| |
|
| |
|
| |
|
| |
In ICALP '96: Proceedings of the 23rd International Colloquium on Automata, Languages and Programming (1996), pp. 158-169.
|
| |
ArXiv Mathematics e-prints (October 1994)
|
| |
ArXiv Quantum Physics e-prints (October 2004)
|
| |
|
| |
Topoi, Vol. 3, No. 1. (1 June 1984), pp. 13-22.
|
| |
|
| |
In WOODPECKER '01: Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation (2001), pp. 38-54.
|
| |
In Proc. SPIE Vol. 4453, p. 134-145, Materials and Devices for Photonic Circuits II, Mario N. Armenise; Ed., Vol. 4453 (November 2001), pp. 134-145.
|
| |
Axiomathes, Vol. 16, No. 1. (15 March 2006), pp. 65-122.
|
| |
Archive for Mathematical Logic, Vol. 45, No. 8. (November 2006), pp. 947-981.
|
| |
|
| |
ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
|
| |
In Proceedings of the 16th International Conference on Automated Deduction (CADE-16) (1999), pp. 202-206.
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
|
| |
In CADE-17: Proceedings of the 17th International Conference on Automated Deduction (2000), pp. 115-131.
|
| |
|
| |
|
| |
|
| |
|