Model Theory (2000)

Cached

Download Links

by Wilfrid Hodges
Citations:638 - 4 self

Active Bibliography

3023 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
601 Term Rewriting Systems – J. W. Klop - 1992
811 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
966 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
850 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
530 The empirical case for two systems of reasoning – Steven A. Sloman - 1996
947 Abstraction in perceptual symbol systems – L. W. Barsalou - 2003
1396 A dynamic theory of organizational knowledge creation – Ikujiro Nonaka - 1994
491 Reasoning the fast and frugal way: Models of bounded rationality – Gerd Gigerenzer, Daniel G. Goldstein - 1996