Q1386228
type: Item
instance of: scholarly article
title: Foundations of software science and computation structures. 1st international conference, FoSSaCS '98. Held as part of the joint European conferences on Theory and practice of software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings
zbMATH Open document ID: 0889.00031
published in: Lecture Notes in Computer Science
publication date: 1998-05-15T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Mislove, Michael}, Generalizing domain theory, 1-19 [Zbl 0903.03021] \textit{Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna}, A Cook's tour of equational axiomatizations for prefix iteration, 20-34 [Zbl 0901.03027] \textit{Amadio, Roberto M.; Coupet-Grimal, Solange}, Analysis of a guard condition in type theory. (Extended abstract), 48-62 [Zbl 0922.03021] \textit{Baldan, Paolo; Corradini, Andrea; Montanari, Ugo}, An event structure semantics for P/T contextual nets: Asymmetric event structures, 63-80 [Zbl 0902.68140] \textit{Beauquier, Danièle}, Pumping lemmas for timed automata, 81-94 [Zbl 0902.68129] \textit{Bukatin, Michael A.; Shorina, Svetlana Yu.}, Partial metrics and co-continuous valuations, 125-139 [Zbl 0945.06006] \textit{Corradini, A.; Gadducci, F.}, Rational term rewriting, 156-171 [Zbl 0908.68081] \textit{Heckmann, Reinhold}, The appearance of big integers in exact real arithmetic based on linear fractional transformations, 172-188 [Zbl 0905.65056] \textit{Klempien-Hinrichs, Renate}, Net refinement by pullback rewriting, 189-202 [Zbl 0901.68142] \textit{Moggi, E.}, Functor categories and two-level languages, 211-225 [Zbl 0904.03017] \textit{Niemann, Gundula; Otto, Friedrich}, The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages, 243-257 [Zbl 0908.68089]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1153128
zbMATH Keywords: Lisbon (Portugal)
zbMATH Keywords: Conference
zbMATH Keywords: Proceedings
zbMATH Keywords: FoSSaCS '98
zbMATH Keywords: Software science
zbMATH Keywords: Computation structures
MaRDI profile type: Publication
DOI: 10.1007/BFB0053537
label: Foundations of software science and computation structures. 1st international conference, FoSSaCS '98. Held as part of the joint European conferences on Theory and practice of software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings
description: scientific article; zbMATH DE number 1153128