European Association for Theoretical Computer Science

Known as: Bulletin of the European Association for Theoretical Computer Science, EATCS Award, EATCS 
The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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
Current research and development of agent-based systems has focused primarily on architectures, protocols, frameworks, messaging… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
s of PhD thesis On the Computational Power of Simple Dynamics, by E. Natale… (More)
  • figure 1
  • figure 1
Is this relevant?
Highly Cited
2004
Highly Cited
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
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
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
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1990
Highly Cited
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
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)
  • figure 4.1
  • figure 4.2
  • figure 4.3
  • figure 4.4
  • figure 5.1
Is this relevant?