On the existence of free models in abstract algebraic institutionsTARLECKI, A; DE BAKKER, J. W.Theoretical computer science. 1985, Vol 37, Num 3, pp 269-304, issn 0304-3975Article

Non-deterministic data types: models and implementationsNIPKOW, T.Acta informatica. 1986, Vol 22, Num 6, pp 629-661, issn 0001-5903Article

On abstract data types presented by multiequationsADAMEK, J; HEBERT, M; ROSICKY, J et al.Theoretical computer science. 2002, Vol 275, Num 1-2, pp 427-462, issn 0304-3975Article

Galois embedding from polymorphic types into existential typesFUJITA, Ken-Etsu.Lecture notes in computer science. 2005, pp 194-208, issn 0302-9743, isbn 3-540-25593-1, 15 p.Conference Paper

Shedding new light in the world of logical systemsWOLTER, U; MARTINI, A.Lecture notes in computer science. 1997, pp 159-176, issn 0302-9743, isbn 3-540-63455-XConference Paper

Inheritance and kinds of slotsHUTCHINSON, A.Computer journal (Print). 1989, Vol 32, Num 1, pp 63-67, issn 0010-4620Article

Extension du langage logique DATALOGChen, Liming; Gardarin, Georges.1989, 150 p.Thesis

A weighted voting algorithm for replicated directoriesBLOCH, J. J; DANIELS, D. S; SPECTROR, A. Z et al.Journal of the Association for Computing Machinery. 1987, Vol 34, Num 4, pp 859-909, issn 0004-5411Article

On algebraic specifications of abstract data typesKHOUSSAINOV, Bakhadyr.Lecture notes in computer science. 2003, pp 299-313, issn 0302-9743, isbn 3-540-40801-0, 15 p.Conference Paper

Recent trends in algebraic development techniques (Tarquinia, June 3-7, 1997)Presicce, Francesco Parisi.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64299-4, VIII, 433 p, isbn 3-540-64299-4Conference Proceedings

Quality assessment criteria in C++ classesKYU JUNG HAN; JUNG-MO YOON; JEING AH KIM et al.Microelectronics and reliability. 1994, Vol 34, Num 2, pp 361-368, issn 0026-2714Article

Abstract data types for the logical modeling of complex dataGARGANO, M; NARDELLI, E; TALAMO, M et al.Information systems (Oxford). 1991, Vol 16, Num 6, pp 565-583, issn 0306-4379Article

Testing the completeness of specificationsPANKAJ JALOTE.IEEE transactions on software engineering. 1989, Vol 15, Num 5, pp 526-531, issn 0098-5589Article

Verwaltung von Integritätsbedingungen in einem Datenwörterbuch = Gestion des contraintes d'intégrité basée sur un dictionnaire = Dictionary-supported management of integrity constraintsRÖHRLE, J; KRATZER, K.Angewandte Informatik. 1988, Num 1, pp 18-26, issn 0013-5704Article

An anti-unification approach to decide the sufficient completeness of algebraic specificationCOMON, H.Rapport de recherche - Informatique et mathématiques appliquées de Grenoble, ISSN: 0750-7380 ; 564. 1985, 49 p.Report

The impact of recovery on concurrency controlWEIHL, W. E.Journal of computer and system sciences (Print). 1993, Vol 47, Num 1, pp 157-184, issn 0022-0000Conference Paper

Linguistic support for atomic data typesWEIHL, W. E.ACM transactions on programming languages and systems. 1990, Vol 12, Num 2, pp 178-202, issn 0164-0925, 25 p.Article

Objektorientierte Datenhaltung für die Roboterprogrammierung = Manipulation des données orientée vers les objets pour la programmation des robots = Object-oriented data manipulation for robot programmingDADAM, P; DILLMANN, R; KEMPER, A et al.Informatik (Berlin, West). 1987, Vol 2, Num 4, pp 151-170, issn 0178-3564Article

Canonical constraints for parameterized data typeWAGNER, E. G; EHRIG, H; PATERSON, M. S et al.Theoretical computer science. 1987, Vol 50, Num 3, pp 323-349, issn 0304-3975Article

Dynamic quorum adjustment for partitioned dataHERLIHY, M.ACM transactions on database systems. 1987, Vol 12, Num 2, pp 170-194, issn 0362-5915Article

Optimistic concurrency control for abstract data typesHERLIHY, M.Operating systems review. 1987, Vol 21, Num 2, pp 33-44, issn 0163-5980Article

Word operation definable in the typed λ-calculusZAIONC, M.Theoretical computer science. 1987, Vol 52, Num 1-2, pp 1-14, issn 0304-3975Article

Algebraic implementations preserve program correctnessBROY, M; MÖLLER, B; PEPPER, P et al.Science of computer programming. 1986, Vol 7, Num 1, pp 35-53, issn 0167-6423Article

An algorithm for replicated directoriesDANIELS, D; SPECTOR, A. Z.Operating systems review. 1986, Vol 20, Num 1, pp 24-43, issn 0163-5980Article

A coalgebraic semantics of subtypingPOLL, Erik.Theoretical informatics and applications. 2001, Vol 35, Num 1, pp 61-81Article