(15 November 2002)
The Journal of Symbolic Logic, Vol. 50, No. 1. (1985), pp. 169-201.
Studia Logica, Vol. 51, No. 1. (1 March 1992), pp. 49-82.
(1997), pp. 168-186.
(2002), pp. 296-211.
by Roy
Armoni, Limor
Fix, Alon
Flaisher, Rob
Gerth, Boris
Ginsburg, Tomer
Kanza, Avner
Landver, Sela M
Haim, Eli
Singerman, Andreas
Tiemeyer, Moshe Y
Vardi, Yael
Zbar
Algebra and Logic, Vol. 36 (1997), pp. 73-92.
(2005), pp. 1-8.
Theoretical Computer Science, Vol. 13, No. 1. (1981), pp. 45-60.
Computer Science Logic (2001), pp. 38-38.
Theor. Comput. Sci., Vol. 49, No. 2-3. (1987), pp. 311-347.
(# jul 1996)
(1994), pp. 121-135.
Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416.
(1994)
(1999)
Lithuanian Mathematical Journal, Vol. 40, No. 3. (10 July 2000), pp. 197-212.
Homology, Homotopy and Applications, Vol. 5, No. 2. (2003), pp. 137-209.
(1992), pp. 477-563.
(1995)
Domain-Specific Program Generation (2004), pp. 30-50.
Theor. Comp. Sci., Vol. 160 (1996), pp. 241-270.
Theor. Comput. Sci., Vol. 54, No. 2-3. (1987), pp. 199-214.
Publications of the Research Institute for Mathematical Sciences, Vol. 18, No. 2. (1982), pp. 847-858.
SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
Transactions of the American Mathematical Society, Vol. 148, No. 2. (1970), pp. 549-559.
(January 2001)
(1980), pp. 163-173.
Computer Science Logic (2004), pp. 295-309.
Computer Aided Verification (2003), pp. 27-39.
Annals of Pure and Applied Logic, Vol. 135, No. 1-3. (September 2005), pp. 1-72.
Ann. Pure Appl. Logic, Vol. 50, No. 3. (1990), pp. 271-301.
(2006), pp. 201-212.
Notre Dame Journal of Formal Logic, Vol. 27, No. 4. (October 1986), pp. 504-522.
Studia Logica, Vol. 72, No. 2. (1 November 2002), pp. 157-183.
Logic journal of the IGPL, Vol. 8, No. 2. (1 March 2000), pp. 165-210.
Logic Journal of the IGPL, Vol. 6, No. 1. (1 January 1998), pp. 73-146.
Theoretical Computer Science, Vol. 175, No. 1. (1997), pp. 29-74.
Mathematical Structures in Computer Science, Vol. 11, No. 4. (2001), pp. 511-540.
(1996), pp. 184-195.
(1996), pp. 258-270.
Journal of Symbolic Logic, Vol. 51, No. 1. (March 1986), pp. 166-179.
Vol. 2142 (2001), pp. 292-307.
Journal of Functional Programming, Vol. 10 (2000), pp. 77-89.
Theor. Comput. Sci., Vol. 266, No. 1-2. (2001), pp. 1-57.
Proceedings of the ACMしAN1988 conference on Programming Language design and Implementation (1988), pp. 199-208.
(2004)
(2005), pp. 363-388.