Graduate studies at Western
|Abstract||structures, or interpretations, in the sense of ﬁrst-order logic. In C+, on the other hand, a state is an interpreta-.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
C. F. M. Vermeulen (1995). Merging Without Mystery Or: Variables in Dynamics Semantics. [REVIEW] Journal of Philosophical Logic 24 (4):405 - 450.
Robin Hirsch, Ian Hodkinson & Roger D. Maddux (2002). Provability with Finitely Many Variables. Bulletin of Symbolic Logic 8 (3):348-379.
Arthur B. Cody (1967). Can a Single Action Have Many Different Descriptions? Inquiry 10 (1-4):164 – 180.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,723 of 738,577 )
Recent downloads (6 months)0
How can I increase my downloads?