skip to main content
Show Results with:

Results 1 - 10 of 1,388  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
Material Type:
Article
Add to My workspace

The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees

Heinemann, B.

Fundamenta informaticae. VOL 39; NUMBER 3, ; 1999, 259-272 -- POLISH MATHEMATICAL SOCIETY (pages 259-272) -- 1999

Check library holdings

2
Material Type:
Article
Add to My workspace

A Modal Logic for Discretely Descending Chains of Sets

Heinemann, B.

Studia logica. VOL 76; NUMBER 1, ; 2004, 67-90 -- Kluwer Academic Publishers (pages 67-90) -- 2004

Online access

3
Material Type:
Article
Add to My workspace

Experimental Highlights of Electroweak Physics at Hadron Colliders (8 pages)

Heinemann, B.

Journal of the Physical Society of Japan. VOL 76; NUMB 11, ; 2007, 111004 -- PHYSICAL SOC JAPAN -- 2007

Check library holdings

4
Material Type:
Article
Add to My workspace

Latest results from HERA

Heinemann, B.

Pramana: VOL 55; PART 1/2, ; 2000, 63-72 -- Indian Academy of Sciences; 1999 (pages 63-72) -- 2000

Check library holdings

5
Material Type:
Article
Add to My workspace

Expressive completeness of modal logic on binary ramified frames

Heinemann, B.

Journal of applied non-classical logics. VOL 6; NUMBER 4, ; 1996, 347-368 -- HERMES Part: Part 4; (pages 347-368) -- 1996

Check library holdings

6
Material Type:
Article
Add to My workspace

A Hybrid Logic for Reasoning about Knowledge and Topology

Heinemann, B.

Journal of logic, language and information. VOL 17; NUMBER 1, ; 2008, 19-41 -- Springer Science + Business Media (pages 19-41) -- 2008

Online access

7
Material Type:
Article
Add to My workspace

On Binary Computation Structures

Heinemann, B.

Mathematical logic quarterly. VOL 43; NUMBER 2, ; 1997, 203-215 -- BARTH VERLAGSGESELLSCHAFT MBH LEIPZIG Part: Part 2; (pages 203-215) -- 1997

Check library holdings

8
Material Type:
Article
Add to My workspace

Temporal aspects of the modal logic of subset spaces

Heinemann, B.

Theoretical computer science. VOL 224; NUMBER 1-2, ; 1999, 135-155 -- ELSEVIER (pages 135-155) -- 1999

Online access

9
Material Type:
Article
Add to My workspace

Topological Modal Logics Satisfying Finite Chain Conditions

Heinemann, B.

Notre Dame journal of formal logic. VOL 39; PART 3, ; 1998, 406-421 -- THE UNIVERSITY OF NOTRE DAME (pages 406-421) -- 1998

Check library holdings

10
Material Type:
Article
Add to My workspace

Using Hybrid Logic for Coping with Functions in Subset Spaces

Heinemann, B.

Studia logica. VOL 94; NUMBER 1, ; 2010, 23-45 -- Springer Science + Business Media (pages 23-45) -- 2010

Online access

Results 1 - 10 of 1,388  for Everything in this catalogue

results 1 2 3 4 5 next page

Refine Search Results

Refine my results

Access Options 

  1. Purchase a copy  (1,285)
  2. Request to Reading Room  (1,015)
  3. Online: Reading Room only  (474)
  4. Refine further open sub menu

Material type 

  1. Articles  (1,355)
  2. Books  (28)
  3. Audio  (4)
  4. Moving Images  (1)
  5. Refine further open sub menu

Creation date 

From To
  1. Before1980  (10)
  2. 1980To1995  (80)
  3. 1996To2003  (354)
  4. 2004To2012  (601)
  5. After 2012  (291)
  6. Refine further open sub menu

Language 

  1. English  (1,052)
  2. German  (66)
  3. Unspecified  (13)
  4. Multiple languages  (2)
  5. Refine further open sub menu

Additional Features 

  1. Abstract  (444)
  2. No Abstract  (911)
  3. Refine further open sub menu

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Heinemann, B
  2. Alonso, A.
  3. Marchiori, G.
  4. Hou, S.
  5. Adelman, J.

Searching Remote Databases, Please Wait