2007 Spring Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:5444713
DOI10.2178/bsl/1203350882zbMath1130.03301OpenAlexW2503837420MaRDI QIDQ5444713
No author found.
Publication date: 25 February 2008
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.bsl/1203350882
Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Computability of analog networks
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
- Independence in finitary abstract elementary classes
- The Stone Space of an Ortholattice
- Abstract versus concrete computation on metric partial algebras
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Algebraic completeness results for R-mingle and its extensions
- Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
This page was built for publication: 2007 Spring Meeting of the Association for Symbolic Logic
