Panelist position statement: logic and models in computer science

DOI10.1098/RSTA.2005.1654MaRDI QIDQ5301854zbMATH OpenOpenAlexWikidataFDO

Authors Ursula Martin Webb

Publication date 20 January 2009

Published in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1098/rsta.2005.1654

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of computing (68Q99)

This page was built for publication: Panelist position statement: logic and models in computer science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5301854)