Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("GOGUEN JA")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 16 of 16

  • Page / 1
Export

Selection :

  • and

REALIZATION IS UNIVERSALGOGUEN JA.1973; MATH. SYST. THEORY; U.S.A.; DA. 1973; VOL. 6; NO 4; PP. 359-374; BIBL. 13 REF.Serial Issue

SOME DESIGN PRINCIPLES AND THEORY FOR OBJ-O, A LANGUAGE TO EXPRESS AND EXECUTE ALGEBRAIC SPECIFICATIONS OF PROGRAMSGOGUEN JA.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 75; PP. 425-473; BIBL. 5 P.Conference Paper

FUZZINESS: AN INTRIGUING APPROACH TO ARTIFICIAL INTELLIGENCEGOGUEN JA.1982; J. STRUCT. LEARN.; GBR; DA. 1982; VOL. 7; NO 1; PP. 55-57; BIBL. 12 REF.Article

HOW TO PROVE ALGEBRAIC INDUCTIVE HYPOTHESES WITHOUT INDUCTION WITH APPLICATIONS TO THE CORRECTNESS OF DATA TYPE IMPLEMENTATIONGOGUEN JA.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; PP. 356-373; BIBL. 3 P.Conference Paper

DISCRETE-TIME MACHINES IN CLOSED MONOIDAL CATEGORIES. I.GOGUEN JA.1975; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1975; VOL. 10; NO 1; PP. 1-43; BIBL. 1 P.Article

AXIOMS FOR DISCRIMINATION INFORMATION.GOGUEN JA; CARLSON LA.1975; I.E.E.E. TRANS. INFORM. THEORY; U.S.A.; DA. 1975; VOL. 21; NO 5; PP. 572-574; BIBL. 10 REF.Article

THE SEMANTICS OF CLEAR, A SPECIFICATION LANGUAGEBURSTALL RM; GOGUEN JA.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 292-332; BIBL. 2 P.Conference Paper

FUZZY SETS AT U.C.L.A.GOGUEN JA; SHAKET ES.1979; KYBERNETES; GBR; DA. 1979; VOL. 8; NO 1; PP. 65-66; BIBL. 15 REF.Article

THE ARITHMETIC OF CLOSUREVARELA FJ; GOGUEN JA.1978; J. CYBERN.; USA; DA. 1978; VOL. 8; NO 3-4; PP. 291-324; BIBL. 34 REF.Article

SYSTEMS AND DISTINCTIONS: DUALITY AND COMPLEMENTARITYGOGUEN JA; VARELA FJ.1979; INTERNATION. J. GEN. SYST.; GBR; DA. 1979; VOL. 5; NO 1; PP. 31-43; BIBL. 52 REF.Article

COMPLETENESS OF MANY-SORTED EQUATIONAL LOGICGOGUEN JA; MESEGUER J.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 1; PP. 9-17; BIBL. 2 P.Article

COMPLETENESS OF MANY-SORTED EQUATIONAL LOGICGOGUEN JA; MESEGUER J.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 7; PP. 24-32; BIBL. 2 P.Article

ALGEBRAIC DENOTATIONAL SEMANTICS USING PARAMETERIZED ABSTRACT MODULESGOGUEN JA; KAMRAN PARSAYE GHOMI.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 292-309; BIBL. 2 P.Conference Paper

INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS.GOGUEN JA; THATCHER JW; WAGNER EG et al.1977; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1977; VOL. 24; NO 1; PP. 68-95; BIBL. 2 P. 1/2Article

PARALLEL REALIZATION OF SYSTEMS, USING FACTORIZATIONS AND QUOTIENTS IN CATEGORIES.GOGUEN JA; THATCHER JW; WAGNER EG et al.1976; J. FRANKLIN. INST.; U.S.A.; DA. 1976; VOL. 301; NO 6; PP. 541-558; BIBL. 20 REF.Article

SOME FUNDAMENTALS OF ORDER-ALGEBRAIC SEMANTICS.WAGNER EG; WRIGHT JB; GOGUEN JA et al.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; NO 45; PP. 153-168; BIBL. 2 P.; (MATH. FOUND. COMPUT. SCI. SYMP. 5. PROC.; GDANSK; 1976)Conference Paper

  • Page / 1