default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 56
Volume 56, June 1995
- Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas:
Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bull. EATCS 56 (1995)
- Petr Jancar:
All action-based behavioural equivalences are undecidable for labelled Petri nets. Bull. EATCS 56 (1995)
- Arto Salomaa:
From Parikh vectors to GO territories. Bull. EATCS 56 (1995)
- Henning Fernau:
A predicate for separating language classes. Bull. EATCS 56 (1995) - Clive N. Galley:
An Omega(log n) time linear cost lower bound for the single function coarsest partition problem. Bull. EATCS 56 (1995) - Alexander Meduna:
A trivial method of characterizing the family of recursively enumerable languages by scattered context grammars. Bull. EATCS 56 (1995) - Mikhail Moshkov:
Relationships between depth of deterministic and nondeterministic acyclic programs computing functions of k-valued logic. Bull. EATCS 56 (1995) - Helmut Prodinger:
Digital search trees and basic hypergeometric functions. Bull. EATCS 56 (1995)
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.
last updated on 2024-12-23 19:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
