Logical Foundations of Eval/Quote Mechanisms, and the Modal Logic S4 (1997)

Cached

Download Links

by Jean Goubault-larrecq
Venue:IN PRESS S1570-8683(05)00043-1/FLA AID:71 Vol.•••(•••) [DTD5] P.12 (1-12) JAL:m1a v 1.40 Prn:15/07/2005; 8:08 jal71 by:SL p. 12 12 N. Alechina, D. Shkatov / Journal of Applied Logic
Citations:5 - 0 self