Elvira Pino  Home/Search
Context
Related
| lsi.upc.es/~pino/tesi/Bib.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lsi.upc.es/~pino/Tesis (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Algebraic Institutions. Theoretical Computer Science 37 (1985) 269-304. [Tar86] A. Tarlecki. Bits and pieces of the theory of institutions. Proceedings of Summer Workshop on Category Theory an Computer Programming (D. Pitt, S. Abramsky, A. Poign, D. Rydehard eds.), LNCS 240:334-360, Berlin, 1986. Springer-Verlag. [TD88a] D. van Dalen, Troelstra. Constructivism in mathematics: an Introduction, vol.1. Elsevier Science, North-Holland, (1988). [TD88b] D. van Dalen, Troelstra. Constructivity in... (Update)
Similar documents (at the sentence level):
8.2%: Logic-Based Composition of Software - Contiero (1999) (Correct)
Active bibliography (related documents): More All
0.4: Category Theory and the Simply-Typed lambda-Calculus - Martini (1996) (Correct)
0.4: Elements of Basic Category Theory - Martini (1996) (Correct)
0.3: Elimination of Negation in a Logical Framework - Momigliano (Correct)
Similar documents based on text: More All
0.2: Bibliography for Practical Foundations of Mathematics - Taylor (1999) (Correct)
0.2: and Collection from the Pyrolysis of Biomass - Jet Of Ca (Correct)
0.2: Computational Logic - Course Instructor Harry (Correct)
BibTeX entry: (Update)
@misc{ pino-bibliography,
author = "Elvira Pino",
title = "Bibliography for An Algebraic Study of Modularity in Logic Programming",
url = "citeseer.ist.psu.edu/pino99bibliography.html" }
Citations (may not include all citations):435 Towards a theory of declarative Knowledge (context) - Apt, Blair et al. - 1988
144 Contributions to the theory of Logic Programming (context) - Apt, van Emden - 1982
22 Handbook of Theoretical Computer Science (context) - Apt - 1990 ACM
22 A new definition of SLDNF-resolution - Apt, Doets - 1994 ACM
18 An algebraic approach to mixins and modularity - Ancona, Zucca - 1996 ACM DBLP
8 structures and functors: the categorical imperative (context) - Arbib, Manes - 1975
6 and Structures: An Introduction to Category Theory for the W.. (context) - Asperti, Longo et al. - 1991
4 Abstract and concrete categories: the joy of cats (context) - Admek, Herrlich et al. - 1990
3 Logic Programming and Negation (context) - Apt, Bol - 1994
1 IFIP State-of-the-art Reports (context) - for, Specification et al. - 1999
1 A strong logic programming view for embedded implications (context) - Arruabarrena, Lucio et al. - 1999
1 On extended Logic Language supporting Program Structuring (context) - Arruabarrena, Navarro - 1996
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC