Computer science logic. 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected papers
type: Item
instance of: scholarly article
title: Computer science logic. 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected papers
zbMATH Open document ID: 0847.00048
published in: Lecture Notes in Computer Science
publication date: 1995-08-01T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. For the preceeding workshop see [Zbl 0852.00043]. Indexed articles: \textit{Aspinall, David}, Subtyping with singleton types, 1-15 [Zbl 1044.68541] \textit{Bono, Viviana; Liquori, Luigi}, A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects, 16-30 [Zbl 1044.03507] \textit{Braüner, Torben}, The Girard translation extended with recursion, 31-45 [Zbl 1044.03508] \textit{Compagnoni, Adriana B.}, Decidability of higher-order subtyping with intersection types, 46-60 [Zbl 1044.03520] \textit{Herbelin, Hugo}, A \(\lambda\)-caclulus structure isomorphic to Gentzen-style sequent calculus structure, 61-75 [Zbl 1044.03509] \textit{Kuper, Jan}, Usability: Formalising (un)definedness in typed lambda calculus, 76-90 [Zbl 1044.03510] \textit{Zaionc, Marek}, Lambda representation of operations between different term algebras, 91-105 [Zbl 1044.03512] \textit{Baaz, Matthias; Salzer, Gernot}, Semi-unification and generalizations of a particularly simple form, 106-120 [Zbl 1044.03540] \textit{Benton, P. N.}, A mixed linear and non-linear logic: Proofs, terms and models (extended abstract)., 121-135 [Zbl 1044.03543] \textit{Gordeev, L.}, Cut free formalization of logic with finitely many variables. I., 136-150 [Zbl 1044.03539] \textit{Pudlák, Pavel; Buss, Samuel R.}, How to lie without being (easily) convicted and the lengths of proofs in propositional calculus, 151-162 [Zbl 1044.03542] \textit{Courcelle, Bruno}, Monadic second-order logic and linear orderings of finite structures, 163-176 [Zbl 1044.03502] \textit{Durand, Arnaud; Ranaivoson, Solomampionona}, First-order spectra with one binary predicate, 177-189 [Zbl 1044.03523] \textit{Grandjean, Etienne; Olive, Frédéric}, Monadic logical definability of NP-complete problems, 190-204 [Zbl 1044.68629] \textit{Lautemann, Clemens; Schwentick, Thomas; Thérien, Denis}, Logics for context-free languages, 205-216 [Zbl 1044.68631] \textit{Malmström, Anders}, …
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
zbMATH DE Number: 781062
zbMATH Keywords: Computer science logic
zbMATH Keywords: Logic
zbMATH Keywords: CSL
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
zbMATH Keywords: Kazimierz (Poland)
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bfb0022242
OpenAlex ID: W2504979510
DOI: 10.1007/BFB0022242
description: scientific article; zbMATH DE number 781062