- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource, 1 online resource.
- Language
-
Englisch
- Bibliographic citation
-
Synthesising Programs with Non-trivial Constants ; volume:67 ; number:2 ; day:13 ; month:5 ; year:2023 ; pages:1-25 ; date:6.2023
Journal of automated reasoning ; 67, Heft 2 (13.5.2023), 1-25, 6.2023
- Creator
-
Abate, Alessandro
Barbosa, Haniel
Barrett, Clark
David, Cristina
Kesseli, Pascal
Kroening, Daniel
Polgreen, Elizabeth
Reynolds, Andrew
Tinelli, Cesare
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-023-09664-4
- URN
-
urn:nbn:de:101:1-2023092210110661200522
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Abate, Alessandro
- Barbosa, Haniel
- Barrett, Clark
- David, Cristina
- Kesseli, Pascal
- Kroening, Daniel
- Polgreen, Elizabeth
- Reynolds, Andrew
- Tinelli, Cesare
- SpringerLink (Online service)
Other Objects (12)
In distributive phosphorylation catalytic constants enable non-trivial dynamics
AdS2 holography is (non-)trivial for (non-)constant dilaton
BPS equations and non-trivial compactifications
Non-Hermitian metasurface with non-trivial topology
Magnetically charged calorons with non-trivial holonomy
Random Tensor Networks with Non-trivial Links
Classical string dynamics with non-trivial topology
Non-trivial area operators require non-local magic
Quantum mechanics on special topologically non-trivial manifolds
AU Introspection and Symmetry under non-trivial unawareness
Non-trivial thick brane realisations with 3-forms
Erratum to: Anisotropic colloids through non-trivial buckling
In distributive phosphorylation catalytic constants enable non-trivial dynamics
AdS2 holography is (non-)trivial for (non-)constant dilaton
BPS equations and non-trivial compactifications
Non-Hermitian metasurface with non-trivial topology
Magnetically charged calorons with non-trivial holonomy
Random Tensor Networks with Non-trivial Links
Classical string dynamics with non-trivial topology
Non-trivial area operators require non-local magic
Quantum mechanics on special topologically non-trivial manifolds
AU Introspection and Symmetry under non-trivial unawareness
Non-trivial thick brane realisations with 3-forms
Erratum to: Anisotropic colloids through non-trivial buckling
In distributive phosphorylation catalytic constants enable non-trivial dynamics
AdS2 holography is (non-)trivial for (non-)constant dilaton
BPS equations and non-trivial compactifications
Non-Hermitian metasurface with non-trivial topology
Magnetically charged calorons with non-trivial holonomy
Random Tensor Networks with Non-trivial Links
Classical string dynamics with non-trivial topology
Non-trivial area operators require non-local magic
Quantum mechanics on special topologically non-trivial manifolds
AU Introspection and Symmetry under non-trivial unawareness
Non-trivial thick brane realisations with 3-forms