default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 51

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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 51, October 1993

The Algebraic Specification Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Padberg93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Padberg93
Julia Padberg:
Algebreic high-level net transformation systems: a survey over theory and applications. Bull. EATCS 51: 102-110 (1993)

The Logic and Computer Science Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Hodkinson93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Hodkinson93
Ian M. Hodkinson:
Finite variable logics. Bull. EATCS 51: 111-140 (1993)

The Structural Complexity Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/TraubW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/TraubW93
Joseph F. Traub, Henryk Wozniakowski:
Recent progress in information-based complexity. Bull. EATCS 51: 141-154 (1993)

The Concurrency Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/ChristensenH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/ChristensenH93
Søren Christensen, Hans Hüttel:
Decidability issues for infinite-state processes- a survey. Bull. EATCS 51: 155-167 (1993)

The Formal Language Theory Column

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/HarjuK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/HarjuK93
Tero Harju, H. C. M. Kleijn:
Morphisms and rational tranducers. Bull. EATCS 51: 168-180 (1993)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Kari93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Kari93
Lila Kari:
Insertion operations: Closure properties. Bull. EATCS 51: 181-191 (1993)

Technical Contributions

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/BaazFZ93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/BaazFZ93
Matthias Baaz, Christian G. Fermüller, Richard Zach:
Dual systems of sequents and tableaux for many-valued logics. Bull. EATCS 51: 192-197 (1993)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Csuhaj-VarjuP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Csuhaj-VarjuP93
Erzsébet Csuhaj-Varjú, Gheorghe Paun:
Limiting the team size in cooperating grammar systems. Bull. EATCS 51: 198-201 (1993)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Domocos93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Domocos93
Virgil Domocos:
The generating function of completely bracketed expressions. Bull. EATCS 51: 202-211 (1993)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/FreivaldsKS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/FreivaldsKS93
Rusins Freivalds, Efim B. Kinber, Carl H. Smith:
On the impact of forgetting on learing machines. Bull. EATCS 51: 212-225 (1993)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Xiao-Long93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Xiao-Long93
Hu Xiao-Long:
The representation of a program in the Blum-Shub-Smale theory of computation over an arbitary ring. Bull. EATCS 51: 226-227 (1993)
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/Rensink93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Rensink93
Arend Rensink:
Order isomorphism odes not preserve global event independence. Bull. EATCS 51: 228-235 (1993)

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.