Bulletin of the EATCS, Volume 30

Volume 30, October 1986

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