home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Bulletin of the EATCS
, Volume 33
Volume 33, October 1987
The Computational Geometry Column
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Edelsbrunner87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Herbert Edelsbrunner
:
The Computational Geometry Column.
23-24
The Algebraic Specification Column
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Ehrig87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Hartmut Ehrig
:
The Algebraic Specification Column.
25-26
The Structural Complexity Column
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Hartmanis87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Juris Hartmanis
:
The Structural Complexity Column.
26-39
The Database Theory Column
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Paredaens87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jan Paredaens
:
The Database Theory Column.
40-41
The formal Language Theory Column
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Salomaa87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Arto Salomaa
:
The formal Language Theory Column.
42-53
Technical Contributions
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Benson87
ask others
Google
Google Scholar
MS Academic Search
PubZone
David B. Benson
:
Concurrency and interleaving are equally fundamental.
54
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/HabelKV87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Annegret Habel
,
Hans-Jörg Kreowski
,
Walter Vogler
:
Complativle graph properties are decidable for hypergraph replacement graph languages.
55-61
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Kuich87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Werner Kuich
:
Unampiguous automata.
62-66
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/LangeS87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Klaus-Jörn Lange
,
Michael Schudy
:
A further link between formal languages and complexity theory.
67-70
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Meyer87
ask others
Google
Google Scholar
MS Academic Search
PubZone
John-Jules Ch. Meyer
:
Process modalities obtained as fixed points (part 2).
71-82
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Ochmanski87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Edward Ochmanski
:
A non-invertible PCF language.
83-84
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Pawlak87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Zdzislaw Pawlak
:
Decision tables - a rough set approach.
85-95
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Szelepcsenyi87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Róbert Szelepcsényi
:
The moethod of focing for nondeterministic automata.
96-99
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/TelL87
ask others
Google
Google Scholar
MS Academic Search
PubZone
Gerard Tel
,
Jan van Leeuwen
:
A non-deterministic algorithm and its analysis.
100-102
no documents available
export record as
BibTeX
XML
dblp key:
journals/eatcs/Turner87
ask others
Google
Google Scholar
MS Academic Search
PubZone
David Turner
:
An overview of Miranda.
103-114