Towards a Theory of Reach

DOI10.1007/978-3-319-39110-6_2zbMATH Open1354.68045OpenAlexW2338984668MaRDI QIDQ2814384

Graham Huttom, Jonathan Fowler

Publication date: 21 June 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-39110-6_2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (2)

Some consequences of reflection on the approachability ideal ⋮ Recent Trends in Algebraic Development Techniques

Recommendations

• Towards a theory of transition paths 👍 👎
• When Reachability Meets Grzegorczyk 👍 👎
• Perspectives of System Informatics 👍 👎
• Universally consistent estimation of the reach 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Towards a Theory of Reach

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