Meta-Programming in Logic (1992), pp. 235-249.
pp. 486-494.
IEEE Data Engineering Bulletin, Vol. 24, No. 1. (2001), pp. 52-57.
Automata, Languages and Programming (1996), pp. 158-169.
(30 March 2002)
Industrial Informatics, 2005. INDIN '05. 2005 3rd IEEE International Conference on (2005), pp. 478-483.
(24 Jun 2008)
Constructive Mathematics (1981), pp. 135-145.
(26 Apr 2007)
(5 Apr 2007)
(6 Sep 2006)
Philosophical Studies, Vol. 33, No. 3. (1 April 1978), pp. 301-312.
Decision Sciences, Vol. 30, No. 1. (1999), pp. 217-238.
System Sciences, 2006. HICSS '06. Proceedings of the 39th Annual Hawaii International Conference on, Vol. 8 (2006), pp. 189a-189a.
Computer Science Logic (1994), pp. 305-317.
ACM Trans. Graph., Vol. 9, No. 1. (January 1990), pp. 28-40.
Naturwissenschaften, Vol. 75, No. 8. (1988), pp. 393-398.
ArXiv Computer Science e-prints (November 2003)
Computational Economics, Vol. 28, No. 4. (November 2006), pp. 311-312.
Reviews of Modern Physics, Vol. 73, No. 4. (7 December 2001), 1067.
The International Studies Review, Vol. 8, No. 2. (June 2006), pp. 327-329.
Artificial Intelligence and Law, Vol. 16, No. 1. (27 March 2008), pp. 53-71.
Environments for Multi-Agent Systems III (2007), pp. 203-220.
(19 Jan 2007)
Proc. Japan Acad., Vol. 34 (1958), pp. 110-112.
(03 June 2002)
(1986)
J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
Softwaresysteme und ihre Modellierung (2006), pp. 45-60.
Communications in Mathematical Physics, Vol. 171 (July 1995), pp. 1-25.
German Studies Review, Vol. 5, No. 1. (1982), pp. 87-106.
VINE, Vol. 35, No. 3. (March 2005), pp. 132-139.
dialectica, Vol. 42, No. 2. (1988), pp. 83-92.
(18 Oct 2001)
Transactions in GIS, Vol. 11, No. 6. (December 2007), pp. 873-887.
Requirements Engineering, 14th IEEE International Conference (2006), pp. 49-58.
Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on (2001), pp. 41-47.
Deontic Logic and Artificial Normative Systems (2006), pp. 24-35.
ACM Trans. Graph., Vol. 24, No. 3. (July 2005), pp. 617-625.
(1987)
(2004)
(1998)
(09 November 2003)
(07 December 2007)
(2002), pp. 607-612.
(8 Oct 2005)
Theoretical Computer Science (2003), pp. 271-283.