Automata, languages and programming. 25th international colloquium, ICALP ’98. Aalborg, Denmark, July 13–17, 1998. Proceedings. (English) Zbl 0893.00039
Lecture Notes in Computer Science 1443. Berlin: Springer. xvi, 932 p. (1998).
Show indexed articles as search result.
The articles of mathematical interest will be reviewed individually. The preceding colloquium (23rd, 1996) has been reviewed (see Zbl 1369.68020).Indexed articles:
Borchert, Bernd; Kuske, Dietrich; Stephan, Frank, On existentially first-order definable languages and their relation to NP, 17-28 [Zbl 0917.68076]
Raymond, Jean-François; Tesson, Pascal; Thérien, Denis, An algebraic approach to communication complexity, 29-40 [Zbl 0909.68081]
Liu, Xinxin; Smolka, Scott A., Simple linear-time algorithms for minimal fixed points (extended abstract), 53-66 [Zbl 1527.68132]
Lasota, Sławomir, Partial-congruence factorization of bisimilarity induced by open maps, 91-102 [Zbl 0910.68081]
Dufourd, C.; Finkel, A.; Schnoebelen, Ph., Reset nets between decidability and undecidability, 103-115 [Zbl 0909.68124]
Walukiewicz, Igor, Difficult configurations – on the complexity of LTrL. (Extended abstract), 140-151 [Zbl 0909.03024]
Boigelot, Bernard; Rassart, Stéphane; Wolper, Pierre, On the expressiveness of real and integer arithmetic automata. (Extended abstract), 152-163 [Zbl 0910.68149]
Halldórsson, Magnús M.; Kratochvíl, Jan; Telle, Jan Arne, Independent sets with domination constraints, 176-187 [Zbl 0937.05069]
Grolmusz, Vince, A degree-decreasing lemma for \((\text{MOD}_q,\text{MOD}_p)\) circuits, 215-222 [Zbl 0928.94014]
Gadducci, F.; Montanari, U., Axioms for contextual net processes, 296-308 [Zbl 0912.68142]
Dyer, Martin; Greenhill, Catherine, A genuinely polynomial-time algorithm for sampling two-rowed contingency tables, 339-350 [Zbl 0918.62053]
Power, John; Rosolini, Giuseppe, A modular approach to denotational semantics, 351-362 [Zbl 0913.18005]
Kao, Ming-Yang; Wang, Jie, Efficient minimization of numerical summation errors, 375-386 [Zbl 0910.65008]
Bazgan, Cristina; Santha, Miklos; Tuza, Zsolt, Efficient approximation algorithms for the SUBSET-SUMS EQUALITY problem, 387-396 [Zbl 0914.90223]
Giménez, Eduardo, Structural recursive definitions in type theory, 397-408 [Zbl 0910.03022]
Karhumäki, Juhani; Lepistö, Arto; Plandowski, Wojciech, Locally periodic infinite words and a chaotic behaviour, 421-430 [Zbl 0909.68133]
Pin, Jean-Éric, Bridges for concatenation hierarchies, 431-442 [Zbl 0909.68113]
Lin, H., Complete proof systems for observation congruences in finite-control \(\pi\)-calculus, 443-454 [Zbl 0910.03020]
Victor, Björn; Parrow, Joachim, Concurrent constraints in the fusion calculus. (Extended abstract), 455-469 [Zbl 0915.03029]
D’amico, Michele; Manzini, Giovanni; Margara, Luciano, On computing the entropy of cellular automata, 470-481 [Zbl 0909.68122]
Buchsbaum, Adam L.; Giancarlo, Raffaele; Westbrook, Jeffery R., On the determinization of weighted finite automata, 482-493 [Zbl 0909.68121]
Tiskin, A., Bulk-synchronous parallel multiplication of Boolean matrices, 494-506 [Zbl 0910.65023]
Melliès, Paul-André, On a duality between Kruskal and Dershowitz theorems, 518-529 [Zbl 0921.04001]
Vardi, Moshe Y., Reasoning about the past with two-way automata, 628-641 [Zbl 0909.03019]
Czumaj, Artur; Lingas, Andrzej, A polynomial time approximation scheme for Euclidean minimum cost \(k\)-connectivity, 682-694 [Zbl 0913.05069]
Sewell, Peter, Global/local subtyping and capability inference for a distributed \(\pi\)-calculus, 695-706 [Zbl 0910.03021]
Li, Zhoujun; Chen, Huowang, Checking strong/weak bisimulation equivalences and observation congruence for the \(\pi\)-calculus. (Extended abstract), 707-718 [Zbl 0913.03037]
Bini, Dario; Del Corso, Gianna M.; Manzini, Giovanni; Margara, Luciano, Inversion of circulant matrices over \(\mathbb{Z}_m\), 719-730 [Zbl 0910.65013]
Plandowski, Wojciech; Rytter, Wojciech, Application of Lempel-Ziv encodings to the solution of word equations, 731-742 [Zbl 0909.68134]
Ghani, Neil; de Paiva, Valeria; Ritter, Eike, Explicit substitutions for constructive necessity, 743-754 [Zbl 0949.03014]
Barthe, Gilles, The relevance of proof-irrelevance. A meta-theoretical study of generalised calculi of constructions, 755-768 [Zbl 0914.03016]
Hertling, Peter; Weihrauch, Klaus, Randomness spaces (extended abstract), 796-807 [Zbl 0914.03054]
Fournet, Cédric; Gonthier, Georges, A hierarchy of equivalences for asynchronous calculi. (Extended abstract), 844-855 [Zbl 0909.03030]
Merro, Massimo; Sangiorgi, Davide, On asynchrony in name-passing calculi, 856-867 [Zbl 0910.03019]
MSC:
00B25 | Proceedings of conferences of miscellaneous specific interest |
68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |
03-06 | Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations |
68Q45 | Formal languages and automata |