default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 30
Volume 30, October 1986
- José L. Balcázar, Joaquim Gabarró:
Some comments about notations of orders of manitude. Bull. EATCS 30: 34-42 (1986) - Renato M. Capocelli:
Comments on "Threads in the Theory of Codes" by J. Berstel and D. Perrin. Bull. EATCS 30: 43 (1986) - Annie Choquet, Alain Finkel:
Applications of residues for the analysis of parallel systems communicating by fifo channels. Bull. EATCS 30: 44-56 (1986) - Maxime Crochemore:
Computing LCF in linear time. Bull. EATCS 30: 57-60 (1986) - Hartmut Ehrig, Jacques Loeckx, Bernd Mahr:
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Bull. EATCS 30: 61-65 (1986) - Joseph A. Goguen, José Meseguer:
Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. Bull. EATCS 30: 66-73 (1986) - A. J. Kfoury:
A linear-time algorithm to decide whether a binary word contains an overlap. Bull. EATCS 30: 74-79 (1986) - Pierre Lescanne:
Divergence of the Knuth-Bendix Completion Procedure and Termination Orderings. Bull. EATCS 30: 80-83 (1986) - Aldo de Luca, Antonio Restivo:
On a generalization of a conjecture of Ehrenfeucht. Bull. EATCS 30: 84-90 (1986) - Nalinakshi Nirmal, Raghavan Rama, C. Sri Hari Nagore:
Closure properties of EOL-regular matrix languages. Bull. EATCS 30: 91-102 (1986)
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 2025-02-21 19:38 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:
