WWW.ABSTRACT.XLIBX.INFO
FREE ELECTRONIC LIBRARY - Abstract, dissertation, book
 
<< HOME
CONTACTS



Pages:     | 1 |   ...   | 3 | 4 ||

«COMPACTNESS AND ¨ LOWENHEIM–SKOLEM PROPERTIES IN CATEGORIES OF PRE-INSTITUTIONS ANTONINO SALIBRA University of Pisa, Dip. Informatica Corso Italia ...»

-- [ Page 5 ] --

[2] E. A s t e s i a n o and M. C e r i o l i, Commuting between institutions via simulation, Univ.

of Genova, Formal Methods Group, Technical Report no. 2, 1990.

[3] G. B e r n o t and M. B i d o i t, Proving the correctness of algebraically specified software:

Modularity and Observability issues, in: M. Nivat, C. M. I. Rattray, T. Rus and G. Scollo (eds.), AMAST ’91, Algebraic Methodology and Software Technology, Workshops in Computing, Springer, London 1992, 216–239.

[4] C. C. C h a n g and H. J. K e i s l e r, Model Theory, third ed., North-Holland, Amsterdam 1990.

[5] H.-D. E b b i n g h a u s, Extended logics: the general framework, in: J. Barwise and S. Feferman (eds.), Model-Theoretic Logics, Springer, Berlin 1985, 25–76.

[6] H.-D. E b b i n g h a u s, J. F l u m and W. T h o m a s, Mathematical Logic, Springer, New York 1984.

[7] H. E h r i g, M. B a l d a m u s, F. C o r n e l i u s and F. O r e j a s, Theory of algebraic module specification including behavioural semantics and constraints, in: M. Nivat, C. M. I. Rattray, T. Rus and G. Scollo (eds.), AMAST ’91, Algebraic Methodology and Software Technology, Workshops in Computing, Springer, London 1992, 145–172.

[8] A. J. M. v a n G a s t e r e n, On the Shape of Mathematical Arguments, Lecture Notes in Comput. Sci. 445, Springer, Berlin 1990.

[9] J. A. G o g u e n and R. B u r s t a l l, Introducing institutions, in: E. Clarke and D. Kozen (eds.), Logics of Programs, Lecture Notes in Comput. Sci. 164, Springer, Berlin 1984, 221–256.

[10] S. M a c L a n e, Categories for the Working Mathematician, Graduate Texts in Math. 5, Springer, New York 1971.

[11] J.-A. M a k o w s k i, Compactness, embeddings and definability, in: J. Barwise and S. Feferman (eds.), Model-Theoretic Logics, Springer, Berlin 1985, 645–716.

[12] V. M a n c a and A. S a l i b r a, On the power of equational logic: applications and extensions, in: H. Andr´ka, J. D. Monk and I. N´meti (eds.), Algebraic Logic, Colloq. Math. Soc. J´nos e e a Bolyai 54, North-Holland, Amsterdam 1991, 393–412.

[13] V. M a n c a, A. S a l i b r a and G. S c o l l o, Equational type logic, Theoret. Comput. Sci. 77 (1990), 131–159.

[14] —, —, —, On the expressiveness of equational type logic, in: C. M. I. Rattray and R.

G. Clark (eds.), The Unified Computation Laboratory: Modelling, Specifications and Tools, Oxford Univ. Press, Oxford 1992, 85–100.

[15] J. M e s e g u e r, General logics, in: H.-D. Ebbinghaus et al. (eds.), Logic Colloquium ’87, North-Holland, Amsterdam 1989, 275–329.

[16] M. P. N i v e l a and F. O r e j a s, Initial behaviour semantics for algebraic specifications, in:

D. T. Sannella and A. Tarlecki (eds.), Recent Trends in Data Type Specification, Lecture Notes in Comput. Sci. 332, Springer, Berlin 1988, 184–207.

94 A. SALIBRA AND G. SCOLLO [17] F. O r e j a s, M. P. N i v e l a and H. E h r i g, Semantical constructions for categories of behavioural specifications, in: H. Ehrig, H. Herrlich, H.-J. Kreowski and G. Preuß (eds.), Categorical Methods in Computer Science—with Aspects from Topology, Lecture Notes in Comput. Sci. 393, Springer, Berlin 1989, 220–245.

[18] A. S a l i b r a and G. S c o l l o, A soft stairway to institutions, in: M. Bidoit and C. Choppy (eds.), Recent Trends in Data Type Specification, Lecture Notes in Comput. Sci. 655, Springer, Berlin 1993, 310–329.

[19] D. T. S a n n e l l a and A. T a r l e c k i, Specifications in an arbitrary institution, Inform. and Comput. 76 (1988), 165–210.



Pages:     | 1 |   ...   | 3 | 4 ||


Similar works:

«81 YOU LEARN WHEN YOU’RE YOUNG Where does sexuality begin? At least for some people, it begins in the womb. Studies have shown that some foetuses try out masturbation even before birth. After birth, sexuality emerges in individual ways. Some children are very interested in their sex organs and discover the experience of pleasure early on, through touching themselves. Children usually do not have a name for what they are doing, but they feel and experience much the same as adults. Children...»

«Looking at the Executive Power through the High Court’s New Spectacles Gabrielle Appleby ∗ and Stephen McDonald † Abstract Federation heralded a new constitutional order in Australia. The new Constitution carefully divided legislative power between the two levels of government, but left the division of executive power between them unclear. Since Federation, it had generally been accepted, and reflected in the Commonwealth’s policies and conduct, that the Commonwealth executive power...»

«Mohawk College Online Learning Student Resource Guide On behalf of Mohawk College, we would like to welcome you to Online Learning in the School of Continuing Education. We know that barriers such as distance to the College, work schedules, and family schedules prevent students from coming to college for a course. We would like to assure you that the course content is no different from the content found in a traditional lecture course. Only the delivery mode is different and the advantage is...»

«OPERATING INSTRUCTIONS TitroLine® 6000/7000 TITRATOR Gebrauchsanleitung Originalversion ® Wichtige Hinweise: Die Gebrauchsanleitung vor der ersten Inbetriebnahme des Titrators TitroLine 6000/7000 ® bitte sorgfältig lesen und beachten. Aus Sicherheitsgründen darf der Titrator TitroLine 6000/7000 ausschließlich nur für die in dieser Gebrauchsanleitung beschriebenen Zwecke eingesetzt werden. Bitte beachten Sie auch die Gebrauchsanleitungen für die anzuschließenden Geräte. Alle in dieser...»





 
<<  HOME   |    CONTACTS
2016 www.abstract.xlibx.info - Free e-library - Abstract, dissertation, book

Materials of this site are available for review, all rights belong to their respective owners.
If you do not agree with the fact that your material is placed on this site, please, email us, we will within 1-2 business days delete him.