SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Computer and System Sciences

Volumn 33, Issue 3, 1986, Pages 333-360

Quasi-varieties in abstract algebraic institutions

(1) Tarlecki, Andrzej a

a INSTITUTE OF COMPUTER SCIENCE (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

ABSTRACT ALGEBRAIC INSTITUTIONS; QUASIVARIETIES;

MATHEMATICAL TECHNIQUES;

EID: 0022912097 PISSN: 00220000 EISSN: 10902724 Source Type: Journal
DOI: 10.1016/0022-0000(86)90057-7 Document Type: Article

Times cited : (61)

References (47)

1
- 0002424767
- An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types
- R.T. Yeh, “Current Trends in Programming Methodology,” Vol. 4, Data Structuring, Prentice-Hall, Englewoods Cliffs, N. J
- (1978) IBM Research Report, RC 6487 , pp. 80-149
- Goguen¹ Thatcher² Wagner³

2
- 34250117834
- A Birkhoff variety theorem for continuous algebras
- (1985) Algebra Universalis , vol.20 , pp. 328-350
- Adamek¹ Nelson² Reiterman³

3
- 18944390457
- Generalization of the concept of variety and quasivariety to partial algebras through category theory
- Warsaw
- (1983) Dissertationes Mathematicae (Rozprawy Maternal yczne) , vol.204
- Andreka¹ Nemeti²

4
- 84915691641
- also Math. Inst. Hung. Acad. Sci., preprint No. 5, 1976.

5
- 0040417160
- A general axiomatizability theorem formulated in terms of cone-injective subcategories
- B. Csakany, E. Fried, E.T. Schmidt, Colloquia Mathematica Societas Janos Bolyai, North-Holland, Amsterdam
- (1981) Contributions to Universal Algebra, Proc. Coll. Esztergom 1977 , vol.29 , pp. 13-35
- Andreka¹ Nemeti²

6
- 0010951726
- Injectivity in categories to represent all first-order formulas
- (1979) Demonstratio Math. , vol.12 , pp. 717-732
- Andreka¹ Nemeti²

7
- 0011572376
- Subcategories definable by implications
- (1976) Houston J. Math. , vol.2 , pp. 149-171
- Banaschewski¹ Herrlich²

8
- 0005361302
- Axioms for abstract model theory
- (1974) Annals of Mathematical Logic , vol.7 , pp. 221-265
- Barwise¹

9
- 84959697692
- On the structure of abstract algebras
- (1935) Mathematical Proceedings of the Cambridge Philosophical Society , vol.31 , pp. 433-454
- Birkhoff¹

10
- 84915691640
- s. L. Bloom, and E. G. Wagner. Many-sorted theories and their algebras, with examples from computer science, working paper at US-French Joint Symp. on the Applications of Algebra to Language Definition and Compilatation, Fontainebleau, to appear.

11
- 0020293079
- Partial abstract types
- (1982) Acta Inform. , vol.18 , pp. 47-64
- Broy¹ Wirsing²

12
- 51249179776
- Partial algebras—Survey of a unifying approach towards a two-valued model theory for partial algebras
- (1982) Algebra Universalis , vol.15 , pp. 306-358
- Burmeister¹

13
- 85035009423
- The semantics of Clear, a specification language
- Lecture Notes in Comput. Sci. No. 86, Springer, Berlin
- (1980) Proc. of Advanced Course on Abstract Softward Specifications, Copenhagen , pp. 292-332
- Burstall¹ Goguen²

14
- 84915691639
- R. M. Burstall, and J. A. Goguen. Algebras, theories and freeness: An introduction for computer scientists, in “Proc. 1981 Marktoberdorf NATO Summer School, Reidel.”

15
- 84915691638
- R. L. de Carvalho, T. S. E. Maibaum, T. H. C. Pequeno, A. A. Pereda, and P. A. S. Veloso. “A Model Theoretic Approach to the Theory of Abstract Data Types and Data Structures,” Research Report, CS-80-22, Waterloo, Ontario

16
- 0004243841
- North-Holland, Amsterdam
- (1973) Model Theory
- Chang¹ Keisler²

17
- 0020981604
- Algebraic specifications with generating constraints
- Barcelona, Lecture Notes in Comput. Sci., Springer-Verlag, New York/Berlin
- (1983) Proceedings, 10th Int. Colloq. Automata Lang. and Programm. , vol.154 , pp. 188-202
- Ehrig¹ Wagner² Thatcher³

18
- 84915691637
- Algebraic specifications with partially ordered sorts and declarations
- Univ. of Dortmund, West Germany, Fb. 169
- (1983) Abteilung Informatik
- Gogolla¹

19
- 84915691636
- Algebraic and operational semantics of specifications allowing exceptions and errors
- Univ. of Dortmund, West Germany, Fb. 140
- (1982) Abteilung Informatik
- Gogolla¹ Drosten² Lipeck³ Ehrich⁴

20
- 84913368374
- Abstract errors for abstract data types
- New Brunswick, New Jersey
- (1977) Proceedings, Int. Fed. Inform. Process Working Conf. on the Formal Description of Programming Concepts
- Goguen¹

21
- 0003707158
- Order sorted algebras: Exceptions and error sorts, coercions and overloaded operators
- Dept. of Computer Science, UCLA
- (1978) Semantics and Theory of Computation Report 14
- Goguen¹

22
- 85034210851
- Introducing institutions
- E. Clarke, Lecture Notes in Computer Sci., Springer-Verlag, Berlin/New York
- (1984) Proceedings, Logics of Programming Workshop , vol.164 , pp. 221-256
- Goguen¹ Burstall²

23
- 33645424878
- Some fundamental algebraic tools for the semantics of computation. Part 1. Comma categories, colimits, signatures and theories
- (1984) Theor. Comput. Sci. , vol.31 , pp. 175-210
- Goguen¹ Burstall²

24
- 0040463821
- Completeness of many-sorted equational logic
- (1981) ACM SIGPLAN Notices , vol.16 , Issue.7 , pp. 24-32
- Goguen¹ Meseguer²

25
- 0000851156
- (1985) Houston J. Math. , vol.11 , pp. 307-334
- Goguen¹ Meseguer²

26
- 84913439953
- Initiality, induction and computability
- M. Nivat, J. Reynolds, Cambridge Univ. Press, London/New York
- (1983) Application of Algebra to Language Definition and Compilation
- Goguen¹ Meseguer²

27
- 0004214185
- 2nd ed., Springer, New York
- (1979) Universal Algebra
- Grätzer¹

28
- 0006440677
- The Specification and Application to Programming of Abstract Data Types
- University of Toronto
- (1975) Ph. D. thesis
- Guttag¹

29
- 0004303538
- Allyn & Bacon, Boston
- (1973) Category Theory
- Herrlich¹ Strecker²

30
- 0004280509
- Springer-Verlag, New York
- (1971) Categories for the Working Mathematician
- MacLane¹

31
- 0021423509
- Characterizing specification languages which admit initial semantics
- (1984) Theor. Comput. Sci. , vol.31 , pp. 49-60
- Mahr¹ Markowsky²

32
- 84976813715
- Why Horn formulas matter in computer science: Initial structures and generic examples
- Berlin, March 1985, Lecture Notes in Comput. Sci., Springer-Verlag, New York/Berlin
- (1985) Proceedings, Int. Conf. TAPSOFT , vol.185 , pp. 374-387
- Makowsky¹

33
- 85012673496
- Varieties of chain-complete algebras
- (1980) Journal of Pure and Applied Algebra , vol.19 , pp. 347-383
- Meseguer¹

34
- 0018105622
- A theory of type polymorphism in programming
- (1978) J. Comput. System Sci. , vol.17 , pp. 348-375
- Milner¹

35
- 84913699958
- Z-continuous algebras
- B. Banaschewski, R.-E. Hoffman, Brehmen, 1979, Lecture Notes in Math., Springer-Verlag, New York/Berlin
- (1981) Continuous Lattices, Proceedings , vol.871 , pp. 315-334
- Nelson¹

36
- 18944362733
- Cone-injectivity and some Birkhoff type theorems in categories
- B. Csakany, E. Fried, E.T. Schmidt, Colloquia Mathematica Societas Janos Bolyai, North-Holland, Amsterdam
- (1981) Contributions to Universal Algebra (Proc. Colloq. Esztergom, 1977) , vol.29 , pp. 535-578
- Nemeti¹ Sain²

37
- 85034967674
- Initially restricting algebraic theories
- P. Dembinski, Rydzyna, Poland, 1980, Lecture Notes in Computer Science, Springer-Verlag, New York/Berlin
- (1980) Mathematical Foundations of Computer Science (Proc. 9th Sympos. , vol.88 , pp. 504-514
- Reichel¹

38
- 84915691635
- H. Reichel. “Introduction to Theory and Application of Partial Algebras. Part II, Structural Induction on Partial Algebras,” (P. Burmeister and H. Reichel, Eds.), Akademie-Verlag, Berlin, in press.

39
- 85030471629
- Builiding specifications in an arbitrary institution
- Sophia-Antipolis, June 1984, Lecture Notes in Computer Sci., Springer-Verlag, New York/Berlin
- (1984) Proceedings Int. Sympos. Semantics of Data Types , vol.173 , pp. 337-356
- Sannella¹ Tarlecki²

40
- 85036453295
- Free constructions in algebraic institutions
- Prague, Lecture Notes in Comput Sci., Springer-Verlag, New York/Berlin
- (1984) Proceedings, Int. Sympos. Math. Found. of Comput. Sci. MFCS '84 , vol.176 , pp. 526-534
- Tarlecki¹

41
- 84915691634
- (1983) Report CSR-149-83
- Tarlecki¹

42
- 84915681099
- Abstract algebraic institutions which strongly admit initial semantics
- Dept. of Computer Science, Univ. of Edinburgh
- (1984) Report CSR-165-84
- Tarlecki¹

43
- 0022230583
- On the existence of free models in abstract algebraic institutions
- (1985) Theor. Comput. Sci. , vol.37 , pp. 269-304
- Tarlecki¹

44
- 84953480445
- Continuous abstract data types-basic machinery and results
- Cottbus, Lecture Notes in Comput. Sci., Springer-Verlag, Berlin/New York
- (1985) Proceedings, Int. Conf. Fund. of Comput. Theory, FCT'85 , vol.199 , pp. 31-441
- Tarlecki¹ Wirsing²

45
- 84913361470
- (1986) Fundamenta Informaticae , vol.9 , pp. 95-126
- Tarlecki¹ Wirsing²

46
- 0020832269
- On hierarchies of abstract data types
- (1983) Acta Inform. , vol.20 , pp. 1-33
- Wirsing¹ Pepper² Partsch³ Dosch⁴ Broy⁵

47
- 33745432591
- Algebraic Specification of Data Types
- 2nd ed., Laboratory for Computer Science, MIT
- (1974) Computation Structures Group Memo 119
- Zilles¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.