FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/b94618zbMath1205.68121OpenAlexW2246750081MaRDI QIDQ5191512

François Fages, Emmanuel Coquery

Publication date: 6 August 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94618

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Abstract interpretation and types for systems biology