skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Simple Search
Your initial search resulted in few or no results. The results below were found by expanding your search.
Results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Category theory and computer science proceedings
Category theory and computer science proceedings
Material Type:
Book 		Add to e-Shelf

Category theory and computer science proceedings

Workshop on Category Theory and Computer Science (6. : 1995 : Cambridge, UK) David H Pitt; David E Rydeheard; Peter T Johnstone

Berlin Springer 1995

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.953 e.1 ) and other locations(GetIt)

2
Open-Ended Evolution: Perspectives from the OEE Workshop in York
Open-Ended Evolution: Perspectives from the OEE Workshop in York
Material Type:
Article 		Add to e-Shelf

Open-Ended Evolution: Perspectives from the OEE Workshop in York

Taylor, Tim ; Bedau, Mark ; Channon, Alastair ; Ackley, David ; Banzhaf, Wolfgang ; Beslon, Guillaume ; Dolson, Emily ; Froese, Tom ; Hickinbotham, Simon ; Ikegami, Takashi ; McMullin, Barry ; Packard, Norman ; Rasmussen, Steen ; Virgo, Nathaniel ; Agmon, Eran ; Clark, Edward ; McGregor, Simon ; Ofria, Charles ; Ropella, Glen ; Spector, Lee ; Stanley, Kenneth O. ; Stanton, Adam ; Timperley, Christopher ; Vostinar, Anya ; Wiser, Michael

Artificial life, 2016-08, Vol.22 (3), p.408-423 [Peer Reviewed Journal]

One Rogers Street, Cambridge, MA 02142-1209, USA: MIT Press

Full text available

Citations Cited by
3
José Meseguer: Scientist and Friend Extraordinaire
José Meseguer: Scientist and Friend Extraordinaire
Material Type:
Book Chapter 		Add to e-Shelf

José Meseguer: Scientist and Friend Extraordinaire

Martí-Oliet, Narciso ; Ölveczky, Peter Csaba ; Talcott, Carolyn

Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.1-47 [Peer Reviewed Journal]

Switzerland: Springer International Publishing AG

Full text available

Citations Cited by
4
Constructing a small category of setoids
Constructing a small category of setoids
Material Type:
Article 		Add to e-Shelf

Constructing a small category of setoids

WILANDER, OLOV

Mathematical structures in computer science, 2012-02, Vol.22 (1), p.103-121 [Peer Reviewed Journal]

Cambridge, UK: Cambridge University Press

Full text available

Citations Cited by
5
Lenses, fibrations and universal translations
Lenses, fibrations and universal translations
Material Type:
Article 		Add to e-Shelf

Lenses, fibrations and universal translations

JOHNSON, MICHAEL ; ROSEBRUGH, ROBERT ; WOOD, R. J.

Mathematical structures in computer science, 2012-02, Vol.22 (1), p.25-42 [Peer Reviewed Journal]

Cambridge, UK: Cambridge University Press

Full text available

Citations Cited by
6
The Seventh Answer Set Programming Competition: Design and Results
The Seventh Answer Set Programming Competition: Design and Results
Material Type:
Article 		Add to e-Shelf

The Seventh Answer Set Programming Competition: Design and Results

GEBSER, MARTIN ; MARATEA, MARCO ; RICCA, FRANCESCO

Theory and practice of logic programming, 2020-03, Vol.20 (2), p.176-204 [Peer Reviewed Journal]

Cambridge: Cambridge University Press

Full text available

Citations Cited by
7
On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms
On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms
Material Type:
Article 		Add to e-Shelf

On the performance of Dijkstra’s third self-stabilizing algorithm for mutual exclusion and related algorithms

Chernoy, Viacheslav ; Shalom, Mordechai ; Zaks, Shmuel

Distributed computing, 2010-09, Vol.23 (1), p.43-60 [Peer Reviewed Journal]

Berlin/Heidelberg: Springer-Verlag

Full text available

Citations Cited by
8
Non-monotonic spatial reasoning with answer set programming modulo theories
Non-monotonic spatial reasoning with answer set programming modulo theories
Material Type:
Article 		Add to e-Shelf

Non-monotonic spatial reasoning with answer set programming modulo theories

WAŁĘGA, PRZEMYSŁAW ANDRZEJ ; SCHULTZ, CARL ; BHATT, MEHUL

Theory and practice of logic programming, 2017-03, Vol.17 (2), p.205-225 [Peer Reviewed Journal]

Cambridge, UK: Cambridge University Press

Full text available

Citations Cited by
9
Multi-Objective Bi-Level Programming for the Energy-Aware Integration of Flexible Job Shop Scheduling and Multi-Row Layout
Multi-Objective Bi-Level Programming for the Energy-Aware Integration of Flexible Job Shop Scheduling and Multi-Row Layout
Material Type:
Article 		Add to e-Shelf

Multi-Objective Bi-Level Programming for the Energy-Aware Integration of Flexible Job Shop Scheduling and Multi-Row Layout

Zhang, Hongliang ; Ge, Haijiang ; Pan, Ruilin ; Wu, Yujuan

Algorithms, 2018-12, Vol.11 (12), p.210 [Peer Reviewed Journal]

Basel: MDPI AG

Full text available

Citations Cited by
10
Modal dependent type theory and dependent right adjoints
Modal dependent type theory and dependent right adjoints
Material Type:
Article 		Add to e-Shelf

Modal dependent type theory and dependent right adjoints

Birkedal, Lars ; Clouston, Ranald ; Mannaa, Bassel ; Ejlers Møgelberg, Rasmus ; Pitts, Andrew M. ; Spitters, Bas

Mathematical structures in computer science, 2020-02, Vol.30 (2), p.118-138 [Peer Reviewed Journal]

Cambridge: Cambridge University Press

Full text available

Citations Cited by
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Resource Type 

  1. Articles  (3,044)
  2. Conference Proceedings  (686)
  3. Book Chapters  (352)
  4. Reference Entries  (107)
  5. magazinearticle  (33)
  6. Reviews  (23)
  7. Dissertations  (17)
  8. Books  (3)
  9. Newspaper Articles  (1)
  10. Reports  (1)
  11. More options open sub menu

Creation Date 

From To
Refine
  1. Before1997  (124)
  2. 1997To2003  (671)
  3. 2004To2010  (1,492)
  4. 2011To2018  (1,467)
  5. After 2018  (577)
  6. More options open sub menu

Language 

  1. English  (4,258)
  2. Japanese  (254)
  3. Ndongo  (85)
  4. Spanish  (8)
  5. German  (7)
  6. French  (6)
  7. Portuguese  (3)
  8. Norwegian  (1)
  9. Turkish  (1)
  10. Latvian  (1)
  11. Afrikaans  (1)
  12. Catalan  (1)
  13. More options open sub menu

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

  1. Johnstone, P
  2. Workshop on Category Theory and Computer Science
  3. Rydeheard, D
  4. Pitt, D

on this subject:

  1. Science & Technology
  2. Technology
  3. Computer Science
  4. Social Sciences
  5. Algorithms

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far