Select content type to embed

All Research products

arrow_drop_down

<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=snsf________::e0dbdea50d109c50566823e8d059c10d&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Set-theoretic Foundations of Computation with Applications to Satisfiability Modulo Theories

assignment_turned_inproject01 Feb 2024(Started)-31 Jan 2026(Ending)On going (M20)

Funder: Swiss National Science FoundationProject code: 222338

Funded under: Careers | Fellowships | Postdoc.Mobility Funder Contribution: 119,600

Set-theoretic Foundations of Computation with Applications to Satisfiability Modulo Theories

- Summary
- DMPs

Partners

Department of Computer Science University of Oxford , Department of Computer Science University of Oxford

Data Management Plans

Start a new DMP in Argos

Found an issue? Give us feedback

Select content type to embed

All Research products

arrow_drop_down

<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://beta.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=snsf________::e0dbdea50d109c50566823e8d059c10d&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Set-theoretic Foundations of Computation with Applications to Satisfiability Modulo Theories

Set-theoretic Foundations of Computation with Applications to Satisfiability Modulo Theories

Loading