Graph-based logic and sketches (2008)

Cached

Download Links

by Atish Bagchi , Charles Wells
Citations:4 - 0 self

Active Bibliography

8 Graph-based logic and sketches I: The general framework – Atish Bagchi, Charles Wells - 1994
2 Sketches: Outline with references – Charles Wells, Atish Bagchi, Charles Wells, Graph Based Logic, Michael W. Mislove, Charles Wells - 1993
731 Notions of Computation and Monads – Eugenio Moggi - 1991
540 Model Theory – Wilfrid Hodges - 2000
457 Comprehending Monads – Philip Wadler - 1992
421 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
308 Ontology Mapping: The State of the Art – Yannis Kalfoglou, Marco Schorlemmer - 2003
2 Proving Semantical Equivalence of Data Specifications – Frank Piessens, Eric Steegmans - 2005
252 Semantic foundations of concurrent constraint programming – Vijay A. Saraswat, et al. - 1990