Model Theory (2000)

View PDF

Download Links

by Wilfrid Hodges
Citations:638 - 4 self

Active Bibliography

2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
578 Term Rewriting Systems – J. W. Klop - 1992
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
879 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
1168 A dynamic theory of organizational knowledge creation – Ikujiro Nonaka - 1994
469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
429 STATEMATE: A Working Environment for the Development of Complex Reactive Systems – David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-trauring, Mark Trakhtenbrot - 1990
427 The empirical case for two systems of reasoning – Steven A. Sloman - 1996