Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 102
AIList Digest Saturday, 26 Apr 1986 Volume 4 : Issue 102
Today's Topics:
Bibliography - References #2
----------------------------------------------------------------------
Date: 9 Apr 86 13:20:13 GMT
From: allegra!mit-eddie!think!harvard!seismo!mcvax!ukc!dcl-cs!nott-cs!
abc@ucbvax.berkeley.edu (Andy Cheese)
Subject: Bibliography - References #2
COX83a
Cox Brad J.
Object Oriented Programming in C
Unix review, October/Novemeber 1983 Page 67
COX84a
Cox Brad J.
Object Oriented Programming in C
Unix Review, February/March 1984 Page 56
COUR82a
Courcelle B.
Fundamental Properties of Infinite Trees
in BROY82a, pp 417-470
1982
COUR84a
ed. Courcelle B.
Ninth Colloquium on Trees in Algebra and Programming
CUP 1984
COUS85a
Cousineau G. & Curien P. -L. & Mauny M.
The Categorical Abstract Machine
CNRS-Universite Paris VII LITP
85-8
January 1985
CRAM *
Crammond J.A. & Miller C.D.F.
An Architecture For Parallel Logic Languages
2nd International Logic Programming Conference
pp 183-194
CRAM85a *
Crammond J.A.
A Comparative Study of Unification Algorithms for OR_Parallel Execution of
Logic Languages
IEEE Transactions on Computers, Vol c-34, no 10, pp 911-917
October 1985
CURI85a
Curien P. -L.
Typed Categorical Combinatory Logic
CNRS-Universite Paris VII LITP
85-15
February 1985
CURI85b
Currien P. -L.
Categorical Combinators, Sequentials Algorithms and Functional Programming
CNRS-Universite Paris VII LITP
85-26
March 1985
CURR58a
Curry H.B. & Feys R.
Combinatory Logic, Vol 1
North Holland Publishing Company, Amsterdam, 1958
CURR72a
Curry H.B & Hindley J.R. & Seldin J.P.
Combinatory Logic, Vol II
North Holland Publishing Company, Amsterdam, 1972
DA83a
Da Silva J.G.D. & Watson I.
A Pseudo Associative Store with Hardware hashing
Proc. IEE, Part E, 1983
DAM82a
Damas L. & Milner R.
Principal Type Schemes For Functional Programs
Proc. ACM Symposium on Principles of Programming Languages,
pp 207-212, 1982
DARL75a
Darlington J.
Application of Program Transformation to Program Synthesis
Proc of International Symposium on Proving and Improving Programs,
Arc et Senans, France
1975
DARL76a
Darlington J. & Burstall R.M.
A System that Automatically Improves Programs
Acta Informatica, Vol 6,p41-60
DARL77a
Darlington J.
Program Transformation and Synthesis Present Capabilities
Report 77/43
Dept of Computing, Imperial College
(Also in Artificial Intelligence Journal Vol 16, 1981)
1977
DARL79a
Darlington J.
A Synthesis of Several Sorting Algorithms
Acta Informatica, Vol 11, no 1
1979
DARL80a
Darlington J.
An Abstract Scheme For a Multiprocessor Implementation of Applicative
Languages
Proc. of Joint SRC/Newcastle Univ. Workshop on VLSI,
Machine Architecture and Very High Level Languages
1980
DARL80b
Darlington J.
Synthesis of Implementations For Abstract Data Types
Report 80/4
Dept of Computing, Imperial College
1980
DARL80c
Darlington J.
The Design of Efficient Data Representations
Dept of Computing, Imperial College
1980
DARL81a
Darlington J.
The Structured Description of Algorithm Derivations
To Appear in Amsterdam Conf. on Algorithms
October 1981
DARL81b *
Darlington J. & Reeve M.
ALICE- A Multi-Processor Reduction Machine for the Parallel Evaluation
of Applicative Languages
Proc of 1981 ACM Conf on Functional Programming Languages & Computer
Architecture
DARL82a
Darlington J. & Henderson P. & Turner D.A.
Functional Programming and its Applications- An Advanced Course
Cambridge University Press 1982
DARL82b
Darlington J.
Program Transformation
in DARL82a
1982
DARL83a *
Darlington J.
The New Programming:Functional & Logic Languages
Distributed Computing- A Review for Industry, SERC, Manchester 1983
DARL83b *
Darlington J. & Reeve M.
ALICE- and the Parallel Evaluation of Logic Programs
Invited Paper, 10th Annual Int. Symposium on Computer Architecture,1983
DARL83c *
Darlington J.
Unification of Logic and Functional Languages
Dept. of Computing, Imperial College, Date Unknown
DARL85a *
Darlington J. & Field A.J. & Pull H.
The Unification of Functional and Logic Languages
Department of Computing, Imperial College
Doc 85/3
February 1985
DAVI78a
Davis A.L.
The Architecture and System Method of DDM1: A Recursively Structured
Data Driven Machine
Proc. 5th Int. Symp on Comp. Arch., pp 210-215
April 1978
DEGR84a
DeGroot D.
Restricted And-Parallelism
Proc. Int. Conf. 5th Generation Computer Systems, 1984,
pp 471-478
1984
DEGR85a *
DeGroot D.
Alternate Graph Expressions for Restricted And-Parallelism
IEEE Spring Compcon 1985, pp 206-210
1985
DEGR85b *
DeGroot D. & Chang J-H
Une Comparison de Deux Modeles d'Execution de Parallelisme "et" a
Comparison of Two And-Parallel Execution Models
Hardware and Software Components and Architectures for the 5th
Generation, March 5-7 1985, pp 271-280
1985
DELI79a
Deliyanni A. & Kowalski R.A.
Logic and Semantic Networks
CACM Vol 22,No 3,p184-192
DEN75a
Dennis J.B. & Misunas D.P.
A Preliminary Architecture for a Basic Dataflow Processor
Proc. 2nd Annual Symposium on Computer Architecture
SIGARCH vol 3, no 4 , Jan 75, pp 126-132
1975
DEN79a
Dennis J.B.
The Varieties of Data Flow Computers
MIT Computation Structures Group, Memo 183, August 1979
DELV85a *
Delves L.M. & Mawdsley S.C.
DAP-Algol: A Development System for Parallel Algorithms
Computer Journal, Vol 28, no 2, pp 148-153
1985
DERT84a
Derthick M.
Variations on the Boltzmann Machine Learning Algorithm
CMU-CS-84-120
Dept of Comp Sci, Carnegie-Mellon Univ
August 1984
DETT86a *
Dettmer R.
Flagship A Fifth Generation Machine
Electronics and Power, pp 203-208
March 1986
DEU76a
Duetsch & Peter L. & Bobrow & Daniel G.
An Efficient, Incremental, Automatic Garbage Collector
CACM Vol 19,no 9, pp 522-526, 1976
DIJK82a
Dijkstra E.W.
Lambek and Moser Revisited
in BROY82a, pp 19-22
1982
DIJK82b
Dijkstra E.W.
Repaying our Debts
in BROY82a, pp 135-141
1982
DIJK82c
Dijkstra E.W.
A Tutorial on the Split Binary Semaphore
in BROY82a, pp 555-564
1982
DIJK85a
Dijkstra E.W.
Invariance and Non-Determinacy
in HOA85a
1985
DONA85a *
Donahue J. & Demers A.
Data Types Are Values
ACM Transactions on Programming Languages and Systems, vol 7, no 3
pp 426-445
July 1985
DOWN76a
Downey P.J. & Sethi R.
Correct Computation Rules For Recursive Languages
SIAM Journal of Computing 5(3), pp 378-401, September 1976
DUCE84a *
ed. Duce D.A.
Distributed Computing Systems Programme
IEE Digital Electronics and Computing Series no 5
Peter Peregrinus Ltd., 1984
DUCK85a *
Duckworth R.J. & Brailsford D.F. & Harrison L.
A Structured Data Flow Computer
Internal Report, Comp Sci Group, Univ of Nottingham
October 14, 1985
EGA79a
Egan G.K.
Data Flow: Its Applications to Decentralised Control
PhD Thesis, Dept of Comp Sci, Univ. of Manchester, 1979
ELIT84a
eds. Elithorn A. & Banerji R.
Artificial and Human Intelligence: Symposium
North Holland 1984
ENNA82a
Ennals J.R.
Beginning Micro-Prolog
Ellis Horwood Series Artificial Intelligence
Ellis Horwood Ltd., 1982
ENOM84a
Enomoto H. & Yonezaki N. & Saeki M. & Chiba K. & Takizuka T. & Yokoi T.
Natural Language Based System Development System TELL
ICOT Research Center, Technical Report TR-067
June 1986
ENOM84b
Enomoto H. & Yonezaki N. & Saeki M.
Formal Specification and Verification for Concurrent Systems by TELL
ICOT Research Center, Technical Report TR-068
June 1986
FAGE83a
Fages F. & Huet G.P.
Complete Sets Of Unifiers And Matches In Equational Theories
Proc. 8th Colloquium on Trees In Algebra And Programming
Springer Verlag, LNCS 159, pp 205-220, 1983
FAHL83a
Fahlman S.E. & Hinton G.E. & Sejnowski T.J.
Massively Parallel Architectures for AI: NETL,THISTLE,and Boltzmann Machines
Proc. National Conf. on Artificial Intelligence, Aug 1983 p109-113
FAIR82a
Fairburn J.
Ponder, And Its Type System
Cambridge Computer Lab Technical Report 31, 1982
FAIR85a *
Fairbairn J.
Design and Implementation of a Simple Typed Language Based on the Lambda
Calculus
Computer Laboratory, University of Cambridge, Tech Rep no 75
(also submitted as PhD thesis in December 1984)
1985
FARR79a
Farrell E.P. et al
A Concurrent Computer Architecture and Ring Based Implementation
Proc 6th Int. Symp. on Comp. Arch., pp 1-11
April 1979
FAUS83a
Faustini A.A. Mathews S.G. & Yaghi A.G
The pLUCID Programming Manual
University of Warwick Distributed Computing Report No. 4 ,1983
FEHR84a *
Fehr E.
Expressive power of Typed and Type-Free Programming Languages
Theoretical Computer Science 33 (1984) pp 195-238
North Holland
1984
FEHR84b *
Fehr E.
Dokumentation eines PROLOG-Interpreters implementiert in der funktionalen
Sprache BRL
GMD Nr 122
November 1984
FILG82a *
Filgueiras M.
On The Implementation of Control in Logic Programming Languages
Universidade Nova de Lisboa, Tech rep UNL 8/82
1982
FINN85a *
Finn S.
The Simplex Programming Language
Department of Computing Science, University of Stirling
27th March 1985
FOLE?
Foley J.
A Multi-Ring Dataflow Machine
PhD Thesis, Dept of Computer Science, Univ. of Manchester
In Preparation
FOO86a *
Foo N.Y.
Dewey Indexing of Prolog Traces
Computer Journal, Vol 29, no 1, pp 17-19
1986
FREI74a
Freidman D.P.
The Little LISPer
Science Research Associates, Palo Alto
1974
FREI76a *
Freidman D.P. & Wise D.S.
CONS Should Not Evaluate Its Arguments
Proceedings 3rd International Colloquium on Automata Languages and Programming
pp 257-284
Edinburgh University Press, 1976
FREI77a
Freidman D.P. & Wise D.P.
Applicative Multiprogramming
Tech rep no 72, Indiana univ., Bloomington
1977
FREI77b
Freidman D.P. & Wise D.S.
Aspects of Applicative Programming for File Systems
SIGPLAN notices Vol 12 no 3 march 77 pp 41-55
1977
FREI78a
Friedman D.P. Wise D.S.
A Note on Conditional Expressions
CACM 21(11), pp 931-933, November 1978
FREI78b *
Freidman D.P. & Wise D.S.
Functional Combination
Computer Languages, 3, pp 31-35
1978
FREI78c
Freidman D.P. & Wise D.S.
Unbounded Computational Structures
Software, Practise and Experience, 8, pp 407-415
1978
FREI79a *
Freidman D.P. & Wise D.S.
Reference Counting Can Manage The Circular Environments of Mutual Recursion
Information Processing Letters, 8, no 2, pp 921-930
1979
FREI80a
Freidman D.P. & Wise D.S.
An Indeterminate Constructor for Applicative programming
Conf. Record of ACM Symp. on Princ. of Prog. Langs., Las Vegas
1980
FROS85a *
Frost R.A.
Using Semantic Concepts to Characterise Various Knowledge Representation
Formalisms: A Method of Facilitating the Interface of Knowledge Base
System Components
Computer Journal, Vol 28, no 2, pp 112-116
1985
FUJI83a
Fujita M. & Tanaka H. Moto-oka T.
Verification with PROLOG and Temporal Logic
Faculty of Eng. Univ. of Tokyo
FURU83a *
Furukawa K. & Takeuchi A. & Kunifuji S.
Mandala: A Concurrent Prolog Based Knowledge Programming Language System
ICOT Research center, Technical Report TR-029
November 1983
FURU83b *
Furukawa K. & Nakajima R. & Yonezawa A.
Modularization and Abstraction in PROLOG
Document ETL
ICOT Research Center, Technical Report TR-022
( Also in New Generation Computing, Vol 1, No 2, 1983 )
August 1983
FURU83c
Furukawa K.
Mandala: A Knowledge Programming Language on Concurrent Prolog
ICOT Research Center, Technical Memorandum TM-0028
October 1983
FURU84a *
Furukawa K. & Kunifuji S. & Takeuchi A. & Ueda K.
The Conceptual Specification of the Kernel Language Version 1
( Also in Workshop on Implementation of Concurrent Prolog, Rehovot, 1984 )
ICOT Research Center, Technical Report TR-054
March 1984
FURU84a *
Furukawa K. & Takeuchi A. & Kunifuji S. & Yasukawa H. & Ohki M. & Ueda K.
Mandala: A Logic Based Knowledge Programming System
( Also in Second Japanese Swedish Workshop on Logic Programming and
Functional Programming, Uppsala, 1984 )
ICOT Research Center, Technical Report TR-076
August 1984
FUTA85a
Futatsugi K. & Goguen J.A. & Jouannaud J-P & Meseguer J.
Principles of OBJ2
In Proc. 1985 Principles of Programming Languages
1985
GIER80a
Gierz G. & Hofmann K.H. & Keimel K. & Lawson J.D. & Mislove M. & Scott D.S.
A Compendium of Continuous Lattices
Springer Verlag
1980
GLAS84a *
Glaser H. & Hankin C. & Till D.
Principles of Functional Programming
Prentice Hall International, 1984
GLAU78a
Glauert J.R.W.
A Single-Assignment Language for Data Flow Computing
MSc Dissertation, Dept of Comp Sci, Univ. of Manchester, January 1978
GLAU85a *
Glauert J.R.W. & Holt N.P. & Kennaway J.R. & Sleep M.R.
An Active Term Rewrite Model for Parallel Computation
Document, Alvey DACTL group, March 1985
GLAU85b *
Glauert J.R.W. & Holt N.P. & Kennaway J.R. & Sleep M.R.
DACTL Report 3/5
Document, Alvey DACTL group, March 1985
GLAU85c *
Glauert J.R.W. & Holt N.P. & Kennaway J.R. & Reeve M.J. &
Sleep M.R. & Watson I.
DACTL0: A Computational Model and an Associated Compiler Target Language
University of East Anglia
May 1985
GOEB85a
Goebel R.
The Design and Implementation of DLOG, a Prolog-Based Knowledge Representation
System
New Generation Computing, Vol 3, No 4, pp 385-401
1985
GOGU67a
Goguen J.A.
L-Fuzzy Sets
Journal of Mathematical Analysis and Applications
Vol 18 no 1, pp 145-174
1967
GOGU68a
Goguen J.A.
Categories of Fuzzy Sets
Phd Dissertation
Dept. of mathematics, Univ. of california, berkeley
1968
GOGU68b
Goguen J.A.
The Logic of Inexact Concepts
Synthese, Vol 19, pp 325-373
1968-69
GOGU69a
Goguen J.A.
Categories of V-Sets
Bulletin of the American Mathematical Society,
Vol 75, no 3, pp 622-624
1969
GOGU71a
Mathematical Representation of Hierarchically organised Systems
in "Global Systems Dynamics"
(ed. Attinger E. & Karger S.)
Basel, Switzerland
pp 112-128
1971
GOGU72a
Goguen J.A.
Systems and Minimal Realisation
Proc. IEEE Conf. on Decision and Control,
Miami Beach, Florida
pp 42-46
1972
GOGU72b
Goguen J.A.
Minimal Realisation of Machines in Closed Categories
Bulletin of the American Mathematical Society
Vol 78, no 5, pp 777-783
1972
GOGU72c
Goguen J.A.
Hierarchical Inexact Data structures in Artificial Intelligence Problems
Proc. 5th Hawaii Int. Conf. on System Sciences
Honolulu, Hawaii, pp 345-347
1972
GOGU72d
Goguen J.A. & Yacobellis R.H.
The Myhill Functor, Input-Reduced Machines, and Generalised
Krohn-Rhodes Theory
Proc. 5th Princeton Conf. on Information Sciences and Systems
Princeton, New Jersey
pp 574-578
1972
GOGU72e
Goguen J.A.
On Homomorphisms, Simulation, Correctness and Subroutines for
programs and Program schemes
Proc. 13th IEEE Symp. on Switching and Automata Theory
College Park, Maryland
pp 52-60
1972
GOGU73a
Goguen J.A.
Realisation is Universal
mathematical System Theory
Vol 6, no 4, pp 359-374
1973
GOGU73b
Goguen J.A.
System theory concepts in Computer Science
Proc. 6th Hawaii Int. Conf. on Systems Sciences
Honolulu, Hawaii, pp 77-80
1973
GOGU73c
Goguen J.A.
The Fuzzy Tychonoff Theorem
Journal of mathematical Analysis and applications
vol 43, pp 734-742
1973
GOGU73d
Goguen J.A.
Categorical Foundations for general Systems Theory
in "Advances in Cybernetics and Systems research"
(ed. Pichler F. & Trappl R.)
Transcripta Books, London
pp 121-130
1973
GOGU74a
Goguen J.A.
Semantics of Computation
Proc. 1st Int. Symp. on Category Theory Applied to Computation and Control
(1974 American Association for the Advancement of Science, San francisco)
Univ. of massachusetts at Amherst, 1974, pp 234-249
also published in LNCS vol 25, pp 151-163, springer-verlag
1975
GOGU74b
Goguen J.A. & Thatcher J.W.
Initial Algebra Semantics
proc. 15th IEEE Symp. on Switching and Automata
pp 63-77
1974
GOGU74c
Goguen J.A.
Concept Representation in Natural and Artificial languages: Axioms,
extensions and Applications for Fuzzy sets"
Int. Journal of man-Machine Studies
vol 6, pp 513-561
1974
reprinted in "Fuzzy Reasoning and its Applications"
(ed. Mamdani E.H. & Gaines B.R.)
pp 67-115
Academic Press
1981
GOGU74d
Goguen J.A.
On Homomorphisms, Correctness, termination, Unfoldments and
Equivalence of Flow Diagram Programs"
Journal of Computer and System Sciences,
vol 8, no 3, pp 333-365
1974
GOGU74e
Goguen J.A.
Some Comments on Applying Mathematical System Theory
in "Systems Approaches and Environmental Problems"
(ed. Gottinger H.W. & Vandenhoeck & Rupert)
pp 47-67
(Gottingen, Germany)
1974
GOGU75a
Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B.
Factorisation, Congruences, and the Decomposition of Automata and
Systems
in "Mathematical Foundations of Computer Science"
LNCS Vol 28, pp 33-45, Springer-Verlag
1975
GOGU75b
Goguen J.A.
Objects
International Journal of general systems, vol 1, no 4,
pp 237-243
1975
GOGU75c
Goguen J.A.
Discrete-Time Machines in Closed Monoidal Categories, I,
Journal of Computer and System sciences, Vol 10, No 1, February,
pp 1-43
1975
GOGU75c
Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B.
Abstract Data types as Initial algebras and the Correctness of
Data Representations
Proc. Conf. on Computer Graphics, Pattern recognition, and Data Structure
(Beverly Hills, California), pp 89-93
1975
GOGU75d
Goguen J.A. & Carlson L.
Axioms for Discrimination Information
IEEE Transactions on Information Theory, Sept '75
pp 572-574
1975
GOGU75e
Goguen J.A.
On Fuzzy Robot Planning
in "Fuzzy Sets and Their Applications to Cognitive and Decision Processes
(ed. Zadeh L.A. & Fu K.S. & Tanaka K. & Shimura M.)
pp 429-448
Academic Press
1975
GOGU75f
Goguen J.A.
Robust Programming Languages and the Principle of Maximum
Meaningfulness
Proc. Milwaukee Symp. on Automatic Computation and Control
(Milwaukee, Wisconsin)
pp 87-90
1975
GOGU75g
Goguen J.A.
Complexity of Hierarchically Organised Systems and the Structure of
Musical Experiences
Int. Journal of General Systems, vol 3, no 4, 1975, pp 237-251
originally in UCLA Comp. Sci. Dept. Quarterly, October 1975, pp 51-88
1975
GOGU76a
Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B.
Some Fundamentals of Order-Algebraic Semantics
Proc. 5th Int. Symp. on Mathematical Foundations of Computer Sciences
(Gdansk, Poland, 1976)
LNCS vol 46, 1976, pp153-168, Springer-Verlag
1976
GOGU76b
Goguen J.A. & Thatcher J.W. & Wagner E.W. & Wright J.B.
Parallel Realisation of Systems, Using Factorisations and Quotients in
Categories
Journal of Franklin Institute, vol 301, no6, June '76, pp 547-558
1976
GOGU76c
Goguen J.A.
Correctness and Equivalence of Data Types
Proc Symp. on Mathematical Systems Theory (Udine, Italy)
Springer Verlag Lecture Notes
(ed. Marchesini G.)
pp 352-358
1976
GOGU76d
Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B.
Rational Algebraic Theories and Fixed-point Solutions
Proc. IEEE 17th Symp on Foundations of Computer Science
(Houston, Texas), 1976, pp 147-158
1976
GOGU77a
Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B.
Initial Algebra Semantics and Continuous Algebras
JACM, vol 24, no 1, January 1977, pp 68-95
1977
GOGU77b
Goguen J.A.
Abstract Errors for Abstract Data Types
in "Formal Descriptions of Programming Concepts"
(ed. E.Neuhold)
North-Holland, 1978, pp 491-522
also in
Proc. IFIP Working Conf. on Formal Description of Programming
Concepts
(ed. Dennis J.)
MIT Press, 1977, pp 21.1-21.32
1977
GOGU77c *
Goguen J.A. & Burstall R.M.
Putting Theories Together to Make Specifications
Proc. 5th Int. Joint Conf. on Artificial Intelligence
(MIT, Cambridge, Massachusetts), 1977, pp 1045-1058
1977
GOGU77d
Goguen J.A. & Meseguer J.
Correctness of Recursive Flow Diagram Programs
Proc. Conf. on Mathematical Foundations of Comp. Sci.
(Tatranska Lomnica, Czechoslovakia)
pp 580-595
1977
GOGU77e
Goguen J.A.
Algebraic Specification Techniques
UCLA Comp. Sci. Dept. Quarterly
Vol 5, no 4
pp 53-58
1977
GOGU78a
Goguen J.A. & Varela F.
The Arithmetic of Closure
Journal of Cybernetics, Vol 8, 1978
also in "Progress in Cybernetics and Systems research, vol 3"
(ed. Trappl R. & Klir G.J. & Ricciardi L.)
Hemisphere Pub Co. (Washington D.C.)
1978
GOGU78b
Goguen J.A. & Ginali S.
A Categorical Approach to General Systems
in "Applied General Systems research"
(ed. Klir G.)
Plenum Press
pp 257-270
1978
GOGU78c
Goguen J.A. & Thatcher J.W. & Wagner E.G.
An Initial Algebra Approach to the Specification, Correctness and
Implementation of Abstract data Types
in "Current Trends in Programming, vol 4, Data Structuring"
pp 80-149
(ed. Yeh R.)
Prentice Hall
1978
GOGU78d
Goguen J.A.
Some Design Principles and Theory for OBJ-0, a Language for Expressing
and Executing Algebraic Specifications of Programs
Proc. Int. Conf. on Mathematical Studies of Information Processing
(Kyoto, Japan)
pp 429-475
1978
GOGU78e
Goguen J.A. & Linde C.
Structure of Planning Discourse
Journal of Social and Biological Structures, Vol 1
pp 219-251
1978
GOGU79a
Goguen J.A. & Shaket E.
Fuzzy Sets at UCLA
Kybernetes, vol 8
pp 65-66
1979
GOGU79b
Goguen J.A. & Varela F.
Systems and Distinctions; Duality and Complementarity
International Journal of General Systems, vol 5
pp 31-43
1979
GOGU79c
Goguen J.A. & Tardo J.J.
An Introduction to OBJ: A Language for writing and Testing formal
algebraic specifications
Reliable Software Conf. Proc. (ed. Yeh R.)
(Cambridge, Massachusetts)
pp 170-189
Prentice Hall
1979
GOGU79d
Goguen J.A.
Algebraic Specification
in "Research Directions in Software Technology"
(ed. Wegner P.)
pp 370-376
MIT Press
1979
GOGU79e
Goguen J.A.
Some Ideas in Algebraic Semantics
Proc. 3rd IBM Symp on Mathematical Foundations of Computer Science
(Kobe, Japan)
53 pages
1979
GOGU79f
Goguen J.A.
Fuzzy Sets and the Social Nature of Truth
in "Advances in Fuzzy Set Theory and Applications"
(eds. Gupta M.M. & Yager R.)
pp 49-68
North-Holland Press
1979
GOGU79g
Goguen J.A. & Tardo J. & Williamson N. & Zamfir M.
A Practical Method for Testing Algebraic Specifications
UCLA Computer Science Quarterly, Vol 7, no 1
pp 59-80
1979
------------------------------
End of AIList Digest
********************
