# European Association for Theoretical Computer Science

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2006

Highly Cited

2006

- 2006

Is this relevant?

2006

2006

- 2006

From 29.01.06 to 03.02.06, the Dagstuhl Seminar 06051 “Kolmogorov Complexity and Applications” was held in the International… (More)

Is this relevant?

2006

2006

- 2006

Current research and development of agent-based systems has focused primarily on architectures, protocols, frameworks, messaging… (More)

Is this relevant?

2005

2005

- 2005

s of PhD thesis On the Computational Power of Simple Dynamics, by E. Natale… (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- 2004

universal artificial intelligence sequential decisions towards a universal theory of artificial intelligence universal artificial… (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- 2004

We may not be able to make you love reading, but duration calculus a formal approach to real time systems will lead you to love… (More)

Is this relevant?

1996

1996

- Mathematical Structures in Computer Science
- 1996

Received Based on a categorical semantics that has been developed recently we study composition and reenement as horizontal and… (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- Inf. Comput.
- 1992

We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… (More)

Is this relevant?

Highly Cited

1990

Highly Cited

1990

- SODA
- 1990

A binary space parWon, or BSP, is a scheme for recursively dividing a configuration of objects by hyperplanes until all objects… (More)

Is this relevant?

Highly Cited

1984

Highly Cited

1984

- European Workshop on Applications and Theory in…
- 1984

A set K of integer vectors is called right-closed, if for any element __reeK all vectors m'>m are also contained in K. In such a… (More)

Is this relevant?