scientific article
From MaRDI portal
Publication:3902952
zbMath0455.00025MaRDI QIDQ3902952
No author found.
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx)
Related Items (8)
Dynamic squares ⋮ Algebraic translations, correctness and algebraic compiler construction ⋮ Incremental interpretation ⋮ On the identification of quantifiers' witness sets: a study of multi-quantifier sentences ⋮ Structured anaphora to quantifier domains ⋮ Interpretation and inference with maximal referential terms ⋮ Formal semantics and applied mathematics: an inferential account ⋮ In conjunction with qualitative probability
This page was built for publication: