skip to main content
Show Results with:

Results 1 - 10 of 3,180  for Everything in this catalogue

results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Investigations of higher order correlation functions : Workshop : Papers.
Material Type:
Book
Add to My workspace

Investigations of higher order correlation functions : Workshop : Papers.

Check library holdings

2
4th Higher order workshop : Papers.
Material Type:
Book
Add to My workspace

4th Higher order workshop : Papers.

Springer-Verlag, 1991.

Check library holdings

3
Material Type:
Thesis
Add to My workspace

The formal verification of hard real-time systems.

Rachel Mary Cardell-Oliver

University of Cambridge, 1992.

Online access

2 related resources
4
Material Type:
Article
Add to My workspace

Collapsing Partial Combinatory Algebras

Bethke, I.; Klop, J. W.; Dowek, G.

Journal on data semantics.; Higher-order algebra, logic, and term rewriting; Paderborn; Germany, 1995; Sep, 1996, 57-73 -- Springer; 1996 Part: Part 1074; (pages 57-73) -- 1996

Check library holdings

5
Material Type:
Article
Add to My workspace

Higher-Order Algebra with Transfinite Types

Steggles, L. J.; Dowek, G.

Journal on data semantics.; Higher-order algebra, logic, and term rewriting; Paderborn; Germany, 1995; Sep, 1996, 238-263 -- Springer; 1996 Part: Part 1074; (pages 238-263) -- 1996

Check library holdings

6
Material Type:
Article
Add to My workspace

Abstraction of Hardware Construction

Wang, L.-G.; Mendler, M.; Dowek, G.

Journal on data semantics.; Higher-order algebra, logic, and term rewriting; Paderborn; Germany, 1995; Sep, 1996, 264-287 -- Springer; 1996 Part: Part 1074; (pages 264-287) -- 1996

Check library holdings

7
Material Type:
Article
Add to My workspace

The Variable Containment Problem

Kahrs, S.; Dowek, G.

Journal on data semantics.; Higher-order algebra, logic, and term rewriting; Paderborn; Germany, 1995; Sep, 1996, 109-123 -- Springer; 1996 Part: Part 1074; (pages 109-123) -- 1996

Check library holdings

8
Material Type:
Article
Add to My workspace

Higher-Order Equational Logic for Specification, Simulation and Testing

Meinke, K.; Dowek, G.

Journal on data semantics.; Higher-order algebra, logic, and term rewriting; Paderborn; Germany, 1995; Sep, 1996, 124-143 -- Springer; 1996 Part: Part 1074; (pages 124-143) -- 1996

Check library holdings

9
Material Type:
Article
Add to My workspace

R^n- and G^n-Logics

Hintermeier, C. et al.

Journal on data semantics.; Higher-order algebra, logic, and term rewriting; Paderborn; Germany, 1995; Sep, 1996, 90-108 -- Springer; 1996 Part: Part 1074; (pages 90-108) -- 1996

Check library holdings

10
Material Type:
Article
Add to My workspace

Term Graph Rewriting

Klop, J. W.; Dowek, G.

Journal on data semantics.; Higher-order algebra, logic, and term rewriting; Paderborn; Germany, 1995; Sep, 1996, 1-16 -- Springer; 1996 Part: Part 1074; (pages 1-16) -- 1996

Check library holdings

Results 1 - 10 of 3,180  for Everything in this catalogue

results 1 2 3 4 5 next page

Refine Search Results

Refine my results

Access Options 

  1. Request to Reading Room  (2,608)
  2. Purchase a copy  (1,920)
  3. Online: Reading Room only  (1,452)
  4. Online  (5)
  5. Refine further open sub menu

Material type 

  1. Articles  (3,125)
  2. Books  (50)
  3. Theses  (5)
  4. Refine further open sub menu

Creation date 

From To
  1. Before1993  (11)
  2. 1993To1999  (441)
  3. 2000To2006  (179)
  4. 2007To2014  (256)
  5. After 2014  (2,194)
  6. Refine further open sub menu

Language 

  1. English  (787)
  2. Unspecified  (8)
  3. Refine further open sub menu

Additional Features 

  1. Abstract  (2,384)
  2. No Abstract  (741)
  3. Refine further open sub menu

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Grundy, J.
  2. Harrison, J
  3. Seger, C.-J. H.
  4. Joyce, J. J.
  5. Von Wright, J.

Searching Remote Databases, Please Wait