Completeness of global evaluation logic (2006)

Cached

Download Links

by Sergey Goncharov , Lutz Schröder , Till Mossakowski
Venue:IN MFCS 06, LNCS 4162
Citations:2 - 1 self

Active Bibliography

4 A Generic Complete Dynamic Logic for Reasoning about Purity and Effects – Till Mossakowski, Lutz Schröder, Sergey Goncharov
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
568 Term Rewriting Systems – J. W. Klop - 1992
639 A Survey of Program Slicing Techniques – F. Tip - 1995
1318 Monads for functional programming – Philip Wadler - 1995
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
459 Comprehending Monads – Philip Wadler - 1992
379 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
52 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000