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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 260, Issue 1-2, 2001, Pages 229-247

Equational axiomatizability for coalgebra

(1) Roşu, Grigore a

a UNIVERSITY OF CALIFORNIA (United States)

Author keywords

Birkhoff axiomatizability; Category theory; Coalgebra; Logic

Indexed keywords

COMPUTATIONAL COMPLEXITY; MATHEMATICAL MORPHOLOGY;

BIRKHOFF AXIOMATIZABILITY; CATEGORY THEORY; COALGEBRA;

BOOLEAN ALGEBRA;

EID: 0034920955 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00129-8 Document Type: Article

Times cited : (17)

References (34)

1
- 0040417160
- A general axiomatizability theorem formulated in terms of cone-injective subcategories
- B. Csakany, E. Fried, E.T. Schmidt (Eds.), North-Holland, Amsterdam
- (1981) Universal Algebra, Colloq. Math. Soc., János Bolyai , vol.29 , pp. 13-35
- Andreka, H.¹ Nemeti, I.²

2
- 84959697692
- On the structure of abstract algebras
- (1935) Proc. Cambridge Philos. Soc. , vol.31 , pp. 433-454
- Birkhoff, G.¹

3
- 0006447155
- Hiding and behaviour: An institutional approach
- A.W. Roscoe (Ed.), Englewood Cliffs, NJ, Prentice-Hall, 1994. Also Technical Report ECS-LFCS-8892-253, Laboratory for Foundations of Computer Science, University of Edinburgh, 1992
- (1994) A Classical Mind: Essays in Honour of C.A.R. Hoare
- Burstall, R.¹ Diaconescu, R.²

4
- 0004497475
- D.Phil., University of Oxford, submitted
- (1996) A semantical study of the object paradigm
- Cîrstea, C.¹

5
- 84957888913
- Coalgebra semantics for hidden algebra: Parameterized objects and inheritance
- F. Parisi-Presicce (Eds.), Recent Trends in Algebraic Development Techniques, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1376
- Cîrstea, C.¹

6
- 0003481795
- Technical Report SEN-R9723, ISSN 1386-396X, CWI
- (1997) A complete calculus for equational deduction in coalgebraic specification
- Corradini, A.¹

7
- 0004526864
- Local equational logic 2
- G. Rosenberg, A. Saloma (Eds.), World Scientific, Singapore
- (1994) Developments in Language Theory: at the Crossroads of Mathematics, Computer Science and Biology , pp. 210-221
- Cǎzǎnescu, V.¹

8
- 0004473315
- Weak inclusion systems; Part 2
- (2000) J. Universal Comput. Sci. , vol.6 , pp. 5-21
- Cǎzǎnescu, V.E.¹ Roşu, G.²

9
- 0000452330
- Weak inclusion systems
- (1997) Math. Structures Comput. Sci. , vol.7 , Issue.2 , pp. 195-206
- Cǎzǎnescu, V.E.¹ Roşu, G.²

10
- 0001858965
- Behavioral coherence in object-oriented algebraic specification
- (2000) J. Universal Comput. Sci. , vol.6 , pp. 74-96
- Diaconescu, R.¹ Futatsugi, K.²

11
- 0001849324
- Logical support for modularization
- G. Huet, G. Plotkin (Eds.), Cambridge
- (1993) Logical Environments , pp. 83-130
- Diaconescu, R.¹ Goguen, J.² Stefaneas, P.³

12
- 10044277873
- Semantics of computation
- E. Manes (Ed.), Proc. 1st Internat. Symp. on Category Theory Applied to Computation and Control, San Fransisco, February 1974, Springer, Berlin
- (1975) Lecture Notes in Computer Science , vol.25 , pp. 151-163
- Goguen, J.¹

13
- 0003707158
- Technical Report 14, UCLA Computer Science Department, Semantics and Theory of Computation Series
- (1978) Order sorted algebra
- Goguen, J.¹

14
- 0026444654
- Institutions: Abstract model theory for specification and programming
- (1992) J. Assoc. Comput. Mach. , vol.39 , Issue.1 , pp. 95-146
- Goguen, J.¹ Burstall, R.²

15
- 84973942003
- An Oxford survey of order sorted algebra
- (1994) Math. Structures Comp. Sci. , vol.4 , pp. 363-392
- Goguen, J.¹ Diaconescu, R.²

16
- 84969364034
- Towards an algebraic semantics for the object paradigm
- H. Ehrig, F. Orejas (Eds.), Proc. 10th Workshop on Abstract Data Types, Springer, Berlin
- (1994) Lecture Notes in Computer Science , vol.785 , pp. 1-29
- Goguen, J.¹ Diaconescu, R.²

17
- 0004465307
- Extended abstract of a hidden agenda
- J. Albus, A. Meystel, R. Quintero (Eds.), National Institute of Standards and Technology, Gaithersberg, MD, October 20-23
- (1996) Proc. Conf. on Intelligent Systems: a Semiotic Perspective , pp. 159-167
- Goguen, J.¹ Malcolm, G.²

18
- 0003395304
- A hidden agenda
- to appear. Also UCSD Department of Computer Science & Engineering Technical Report CS97-538, May 1997
- (1999) Theoret. Comput. Sci.
- Goguen, J.¹ Malcolm, G.²

19
- 0000851156
- Completeness of many-sorted equational logic
- Preliminary versions have appeared in: SIGPLAN Notices, 16(7), 24-37; SRI Computer Science Lab, Report CSL-135, May 1982; and Report CSLI-84-15, Center for the Study of Language and Information, Stanford University, September 1984
- (1985) Houston J. Math. , vol.11 , Issue.3 , pp. 307-334
- Goguen, J.¹ Meseguer, J.²

20
- 0004491165
- Equational and implicational classes of coalgebras, extended abstract
- Algebra and Computer Science, Warsaw
- (1998) The 4th Internat. Seminar on Relational Methods in Logic
- Gumm, H.P.¹

21
- 19044376272
- Covarieties and complete covarieties
- B. Jacobs, L. Moss, H. Reichel, Rutten J. (Eds.), Proc. 1st Workshop on Coalgebraic Methods in Computer Science (CMCS'98), Lisbon, Portugal, March 1998, Elsevier Science, Amsterdam
- (1998) Electronic Notes in Theoretical Computer Science , vol.11 , pp. 43-56
- Gumm, H.P.¹ Schröder, T.²

22
- 0004303538
- Allyn & Bacon, Newton, MA
- (1973) Category Theory
- Herrlich, H.¹ Strecker, G.²

23
- 4243677224
- unpublished paper
- (1996) Inclusion systems
- Hilberdink, H.¹

24
- 84957806476
- Mongruences and cofree coalgebras
- M. Nivat (Ed.), Algebraic Methodology and Software Technology (AMAST95), Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.936 , pp. 245-260
- Jacobs, B.¹

25
- 0000892681
- A tutorial on (co)algebras and (co)induction
- (1997) Bull. European Assoc. Theoret. Comput. Sci. , vol.62 , pp. 222-259
- Jacobs, B.¹ Rutten, J.²

26
- 0003969139
- Springer, Berlin
- (1971) Categories for the Working Mathematician
- Lane, S.M.¹

27
- 18944391911
- Bisimulation and hidden algebra
- B. Jacobs, J. Rutten (Eds.), Proc. 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS'99), March 1999, Amsterdam, Netherlands, Elsevier Science, Amsterdam
- (1999) Electronic Notes in Theoretical Computer Science , vol.19 , pp. 213-232
- Lucanu, D.¹ Gheorghieş, O.² Apetrei, A.³

28
- 0004473316
- On notions of factorization systems and their applications to cone-injective subcategories
- (1982) Period. Math. Hungar. , vol.13 , Issue.3 , pp. 229-335
- Németi, I.¹

29
- 18944362733
- Cone-implicational subcategories and some Birkhoff-type theorems
- B. Csakany, E. Fried, E.T. Schmidt (Eds.), North-Holland, Amsterdam
- (1981) Universal Algebra, Colloq. Math. Soc. János Bolyai , vol.29
- Nemeti, I.¹ Sain, I.²

30
- 84976111956
- An approach to object semantics based on terminal co-algebras
- (1995) Math. Structures Comput. Sci. , vol.5 , pp. 129-152
- Reichel, H.¹

31
- 4243677223
- Submitted to publication
- (1996) Axiomatizability in inclusive equational logic
- Roşu, G.¹

32
- 0004466761
- Hidden congruent deduction
- R. Caferra, G. Salzer (Eds.), Technische Universitat Wien, Full version in Lecture Notes in Artificial Intelligence, 1999, to appear
- (1998) Proc. First-Order Theorem Proving - FTP'98 , pp. 213-223
- Roşu, G.¹ Goguen, J.²

33
- 0004469497
- A simple algebraic proof of the equational interpolation theorem
- (1991) Algebra Universalis , vol.28 , pp. 48-51
- Rodenburg, P.H.¹

34
- 0001986854
- Universal coalgebra: A theory of systems
- (2000) Theoret. Comput. Sci. , vol.249 , pp. 3-80
- Rutten, J.J.M.M.¹

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