Scetches and Specifications User'S Gude -- First . . . (2000)

Cached

Download Links

by Dominique Duval , Christian Lair

Active Bibliography

Scetches and Specifications . . . – Dominique Duval, Christian Lair - 2000
and – Christian Lair, Dominique Duval, Christian Lair, Université Denis, Diderot Paris, Dominique Duval, Université De Limoges - 2000
/ Towards Soft Typing in Computer Algebra – Dominique Duval, Christian Lair, Dominique Duval, Christian Lair, Dominique Duval, Christian Lair - 1998
2 Sketches: Outline with References – Charles Wells - 1994
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996
8 Graph-based logic and sketches I: The general framework. Available by web browser from http://www.cwru.edu/1/class/mans/math/pub/wells – Atish Bagchi, Charles Wells - 1996
4 Graph-based logic and sketches – Atish Bagchi, Charles Wells - 2008
1 Diagrammatic Inference – Dominique Duval - 710
Mosaics for Specifications with Implicit State – Dominique Duval, Christian Lair - 2000
4 First Order Logic with Dependent Sorts, with Applications to Category Theory. Book manuscript – M. Makkai - 1995
2 A parameterization process as a categorical construction – César Domínguez, Dominique Duval - 908
7 Observational Logic, Constructor-Based Logic, and their Duality – M. Bidoit, R. Hennicker, A. Kurz, Michel Bidoit, Rolf Hennicker, Alexander Kurz - 2002
Observability concepts in abstract data type specification, 30 years later – Donald Sannella, Andrzej Tarlecki
20 Discovering documentation for java container classes – Johannes Henkel, Christoph Reichenbach, Amer Diwan - 2007
1 Data Structures in Natural Computing: Databases as Weak or Strong Anticipatory Systems – B. N. Rossiter, M. A. Heather
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
Noncommutative localization – Zoran ˇ Skoda - 2005
Noncommutative localization in algebra and topology – Andrew Ranicki - 2002
HUMAN CONSCIOUSNESS AND ARTIFICIAL INTELLIGENCE – Barna Iantovics, Roumen Kountchev, I. C. Baianu, Ronald Brown, James F. Glazebrook