Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The international community has been considering international legal norms and policies for the management of transboundary… Expand
Is this relevant?
Highly Cited
2011
Highly Cited
2011
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Abstract in Undetermined Agricultural systems continuously evolve and are forced to change as a result of a range of global and… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2008
Highly Cited
2008
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2005
Highly Cited
2005
s of PhD thesis On the Computational Power of Simple Dynamics, by E. Natale… Expand
  • figure 1
  • figure 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
  • Marcus Hutter
  • Texts in Theoretical Computer Science. An EATCS…
  • 2004
  • Corpus ID: 53068084
universal artificial intelligence sequential decisions towards a universal theory of artificial intelligence universal artificial… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?