Computer science logic. 13th international workshop, CSL '99. 8th annual conference of the EACSL, Madrid, Spain, September 20--25, 1999. Proceedings
type: Item
instance of: scholarly article
title: Computer science logic. 13th international workshop, CSL '99. 8th annual conference of the EACSL, Madrid, Spain, September 20--25, 1999. Proceedings
zbMATH Open document ID: 0929.00039
DOI: 10.1007/3-540-48168-0
published in: Lecture Notes in Computer Science
publication date: 2000-01-06T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The preceding conference (12th, 1998) has been reviewed (see Zbl 0913.00028). Indexed articles: \textit{Balcázar, José L.}, The consistency dimension, compactness and query learning, 2-13 [Zbl 0942.68587] \textit{Grohe, Martin}, Descriptive and parameterized complexity, 14-31 [Zbl 0943.03029] \textit{Mosses, Peter D.}, Logical specification of operational semantics, 32-49 [Zbl 0969.68098] \textit{Delzanno, Giorgio; Esparza, Javier; Podelski, Andreas}, Constraint-based analysis of broadcast protocols, 50-66 [Zbl 0944.68139] \textit{Grädel, Erich; Kreutzer, Stephan}, Descriptive complexity theory for constraint databases, 67-81 [Zbl 0944.68053] \textit{Leivant, Daniel}, Applicative control and computational complexity, 82-95 [Zbl 0944.68070] \textit{Møller, Jesper; Lichtenberg, Jakob; Andersen, Henrik Reif; Hulgaard, Henrik}, Difference decision diagrams, 111-125 [Zbl 0944.68040] \textit{Fränzle, Martin}, Analysis of hybrid systems: An ounce of realism can save an infinity of states, 126-140 [Zbl 0944.68119] \textit{Kesten, Yonit; Pnueli, Amir}, Verifying liveness by augmented abstraction, 141-156 [Zbl 0944.68128] \textit{Rasmussen, Thomas Marthedal}, Signed interval logic, 157-171 [Zbl 0942.03027] \textit{Hirshfeld, Yoram; Rabinovich, Alexander}, Quantitative temporal logic, 172-187 [Zbl 0943.03017] \textit{Diekert, Volker; Gastin, Paul}, An expressively complete temporal logic without past tense operators for Mazurkiewicz traces, 188-203 [Zbl 0942.03028] \textit{Bonelli, Eduardo}, Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting, 204-219 [Zbl 0942.03016] \textit{Fernández, Maribel; Mackie, Ian}, Closed reductions in the \(\lambda\)-calculus. (Extended abstract), 220-234 [Zbl 0944.03012] \textit{Ishtiaq, Samin; Pym, David J.}, Kripke resource models of a dependently-typed bunched \(\lambda\)-calculus. (Extended abstract), 235-249 [Zbl 0944.03014] \tex…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
zbMATH DE Number: 1385384
zbMATH Keywords: Madrid (Spain)
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: Conference
zbMATH Keywords: Computer science logic
zbMATH Keywords: CSL '99
zbMATH Keywords: EACSL
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-48168-0
OpenAlex ID: W2492276029
description: scientific article; zbMATH DE number 1385384