Automatisation des constructions géométriques à la règle et au compas = Compas and straight edge constructions automationSchreck, Pascal; Dufourd, Jean-François.1993, 185 p.Thesis

Presentations for abstract context institutionsPAWLOWSKI, Wieslaw.Lecture notes in computer science. 2002, pp 256-279, issn 0302-9743, isbn 3-540-43159-4Conference Paper

The Lübeck Transformation System: A transformation system for equational higher order algebraic specificationsDOSCH, Walter; MAGNUSSEN, Sönke.Lecture notes in computer science. 2002, pp 85-108, issn 0302-9743, isbn 3-540-43159-4Conference Paper

Contextual rewriting as a sound and complete proof method for conditional LOG-specificationsNAVARRO, M; OREJAS, F; REMY, J.-L et al.Acta informatica. 1993, Vol 30, Num 2, pp 147-180, issn 0001-5903Article

Algebra-coalgebra structures and bialgebrasNAKAGAWA, Ataru T.Lecture notes in computer science. 2000, pp 329-347, issn 0302-9743, isbn 3-540-67898-0Conference Paper

Vers un guide méthodologique pour la conception de programmes orientés objetRomanczuk, Annya; Comyn, Gérard.1989, 393 p.Thesis

Manuel OASIS (version février 1985) = OASIS ManualPAUL, E.1985, 4 p.Report

Parameter passing in algebraic specification languagesEHRIG, H; KREOWSKI, H.-J; THATCHER, J et al.Theoretical computer science. 1984, Vol 28, Num 1-2, pp 45-81, issn 0304-3975Article

Cryptomorphisms at workCALEIRO, Carlos; RAMOS, Jaime.Lecture notes in computer science. 2005, pp 45-60, issn 0302-9743, isbn 3-540-25327-0, 16 p.Conference Paper

Validation sémantique dans les théories structurées : application à un langage de programmation génériqueDrabik, Pascal; Bert, Didier.1989, 200 p.Thesis

Outils d'aide à la construction et transformation de types abstraits algèbriques = Pools for aided to the design and transformation of algebraic abstract data typesLEVY, Nicole.1984, [278] pThesis

Conception et réalisation d'un atelier de réécriture et de calcul symbolique = Design and development of an environment for rewriting and symbolic computationAttiogbe, Christian J; Durieux, Jean-Louis.1992, 207 p.Thesis

Expression de C3 (Coopération, Concurrence, Communication) dans les spécifications par les types abstraits algébriques = C3 Expression (Cooperation, Concurrency, Communication) in the specifications by algebraic abstract typesSAYI, H.1983, 134 p.Report

Towards trustworthy specifications. I: Consistency checksROGGENBACH, Markus; SCHRÖDER, Lutz.Lecture notes in computer science. 2002, pp 305-327, issn 0302-9743, isbn 3-540-43159-4Conference Paper

Database instances, abstract data types and database specificationMAIBAUM, T. S. E.Computer journal (Print). 1985, Vol 28, Num 2, pp 154-161, issn 0010-4620Article

SLAN 4 - A software specification and design languageBEICHTER, F. W; HERZOG, O; PETZSCH, H et al.IEEE transactions on software engineering. 1984, Vol 10, Num 2, pp 155-162, issn 0098-5589Article

Observational proofs with critical contextsBERREGEB, N; BOUHOULA, A; RUSINOWITCH, M et al.Lecture notes in computer science. 1998, pp 38-53, issn 0302-9743, isbn 3-540-64303-6Conference Paper

Dérivation de programmes impératifs à partir de spécifications algébriques = Derivation of imperatives programs from algebreac specificationsGuerte, Yves; Bert, D.1996, 144 p.Thesis

A relational division operator: the conjugate kernelDESHARNAIS, J; ALI JAOUA; MILI, F et al.Theoretical computer science. 1993, Vol 114, Num 2, pp 247-272, issn 0304-3975Article

Algebraic specification of data-base applicationsDE CASTILHO, J. M. V; FURTADO, A. L; VELOSO, P. A. S et al.International journal on policy and information. 1984, Vol 8, Num 1, pp 59-70, issn 0251-1266Article

IMPLEMENTATION OF PARAMETERISED SPECIFICATIONSSANNELLA D; WIRSING M.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 473-488; BIBL. 2 P.Conference Paper

Elementary Algebraic Specifications of the Rational Complex NumbersBERGSTRA, Jan A; TUCKER, John V.Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday). Lecture notes in computer science. 2006, pp 459-475, issn 0302-9743, isbn 3-540-35462-X, 1Vol, 17 p.Book Chapter

CafeOBJ: Logical foundations and methodologiesDIACONESCU, Razvan; FUTATSUGI, Kokichi; OGATA, Kazuhiro et al.Computing and informatics. 2003, Vol 22, Num 3-4, pp 257-283, issn 1335-9150, 27 p.Article

Discovering algebraic specifications from Java classesHENKEL, Johannes; DIWAN, Amer.Lecture notes in computer science. 2003, pp 431-456, issn 0302-9743, isbn 3-540-40531-3, 26 p.Conference Paper

Zero, Connected, empty: An essay after a cantataGOGUEN, Joseph A; GOGUEN, Ryoko A.Lecture notes in computer science. 2003, pp 127-128, issn 0302-9743, isbn 3-540-20537-3, 2 p.Conference Paper