Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 106

> Home > Journals > Bulletin of the EATCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 106, February 2012

EATCS Matters

- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Monien12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Monien12
Burkhard Monien:
Letter from the President. 3-5
- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Serna12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Serna12
Maria J. Serna:
Letter from the Bulletin Editor. 6
- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Salomaa12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Salomaa12
Arto Salomaa:
In Memoriam Sheng Yu (1950-2012). 7-10

EATCS News

- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Viola12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Viola12
Alfredo Viola:
News from Latin America. 17-18
- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Calude12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Calude12
Cristian S. Calude:
News from New Zealand. 19-27

The EATCS Columns

- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Santhanam12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Santhanam12
Rahul Santhanam:
Ironic Complicity: Satisfiability Algorithms and Circuit Lower Bounds. 31-52
- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Kuznetsov12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Kuznetsov12
Petr Kuznetsov:
Understanding Non-Uniform Failure Models. 53-77
- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Avigad12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Avigad12
Jeremy Avigad:
Type Inference in Mathematics. 78-98

Reports from Conferences

- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Kudlek12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Kudlek12
Manfred Kudlek:
Report on AFL 2011. 101-104
- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Kudlek12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Kudlek12a
Manfred Kudlek:
Report on CS&P 2011. 105-106
- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Moreira12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Moreira12
Andrés Moreira:
Report on DISCO 2011. 107-110

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.