Panelist position statement: logic and models in computer science

DOI10.1098/rsta.2005.1654zbMath1152.68300OpenAlexW1963712196WikidataQ51963622 ScholiaQ51963622MaRDI QIDQ5301854

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

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

Cites Work

• Unnamed Item

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