Automata, languages and programming. 17th international colloquium, Warwick University, England, July 16--20, 1990. Proceedings
type: Item
instance of: scholarly article
title: Automata, languages and programming. 17th international colloquium, Warwick University, England, July 16--20, 1990. Proceedings
zbMATH Open document ID: 0758.00017
published in: Lecture Notes in Computer Science
publication date: 1992-09-17T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Dietzfelbinger, Martin; Meyer auf der Heide, Friedhelm}, A new universal class of hash functions and dynamic hashing in real time, 6-19 [Zbl 0765.68026] \textit{Riecke, Jon G.}, A complete and decidable proof system for call-by-value equalities, 20-31 [Zbl 0765.68143] \textit{Schwartzbach, Michael I.}, Static correctness of hierarchical procedures, 32-45 [Zbl 0765.68017] \textit{Malecki, Sophie}, Generic terms having no polymorphic types, 46-59 [Zbl 0766.03006] \textit{Krob, Daniel}, A complete system of B-rational identities, 60-73 [Zbl 0766.68081] \textit{de Luca, Aldo; Varricchio, Stefano}, On non-counting regular classes, 74-87 [Zbl 0765.68074] \textit{Anselmo, M.}, Two-way automata with multiplicty, 88-102 [Zbl 0768.68096] \textit{Kulch, Werner}, \(\omega\)-continuous semirings, algebraic systems and pushdown automata, 103-110 [Zbl 0765.68073] \textit{Geffert, Viliam}, Nondeterministic computations in sublogarithmic space and space constructibility, 111-124 [Zbl 0765.68035] \textit{Wiedermann, Juraj}, Normalizing and accelerating RAM computations and the problem of reasonable space measures, 125-138 [Zbl 0766.68046] \textit{Watanabe, Osamu}, A formal study of learning via queries, 139-152 [Zbl 0765.68060] \textit{Jain, Sanjay; Sharma, Arun}, Language learning by a ''team'', 153-166 [Zbl 0766.68111] \textit{Milner, Robin}, Functions as processes, 167-180 [Zbl 0766.68036] \textit{Jagadeesan, Radha; Panangaden, Prakash}, A domain-theoretic model for a higher-order process calculus, 181-194 [Zbl 0766.68089] \textit{Droste, Manfred}, Concurrency, automata and domains, 195-208 [Zbl 0765.68100] \textit{Hennessy, M.; Ingólfsdóttir, A.}, A theory of communicating processes with value-passing, 209-219 [Zbl 0765.68105] \textit{Flajolet, Philippe; Sipala, Paolo; Steyaert, Jean-Marc}, Analytic variations on the common subexpression problem, 220-234 [Zbl 0765.68048] \textit{Cheriyan, Joseph;…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 47281
zbMATH Keywords: Warwick (GB)
zbMATH Keywords: Automata
zbMATH Keywords: Languages
zbMATH Keywords: Programming
zbMATH Keywords: Proceedings
zbMATH Keywords: Colloquium
MaRDI profile type: Publication
Recommended article: Automata, languages and programming. 19th international colloquium, Wien, Austria, July 13--17, 1992. Proceedings
Recommended article: Automata, languages and programming. 20th international colloquium, Lund University, Sweden, July 1993
Recommended article: Automata, languages, and programming. 39th international colloquium, ICALP 2012, Coventry, UK, July 9--13, 2012. Proceedings, Part I
Recommended article: Automata, languages, and programming. 39th international colloquium, ICALP 2012, Coventry, UK, July 9--13, 2012. Proceedings, Part II
Recommended article: Automata, languages and programming. 24th international colloquium, ICALP '97, Bologna, Italy, July 7--11, 1997. Proceedings
Recommended article: Automata, languages and programming. 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings
Recommended article: Automata, languages and programming. 16th international colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
Recommended article: Automata, languages and programming. 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9--15, 2000. Proceedings
Recommended article: Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5--9, 1993. Proceedings
Recommended article: Automata, languages and programming. 11th Colloquium, Antwerp, Belgium, July 16-20, 1984
description: scientific article; zbMATH DE number 47281