- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource, 1 online resource.
- Sprache
-
Englisch
- Erschienen in
-
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
- Urheber
-
Abate, Alessandro
Barbosa, Haniel
Barrett, Clark
David, Cristina
Kesseli, Pascal
Kroening, Daniel
Polgreen, Elizabeth
Reynolds, Andrew
Tinelli, Cesare
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-023-09664-4
- URN
-
urn:nbn:de:101:1-2023092210110661200522
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:49 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Abate, Alessandro
- Barbosa, Haniel
- Barrett, Clark
- David, Cristina
- Kesseli, Pascal
- Kroening, Daniel
- Polgreen, Elizabeth
- Reynolds, Andrew
- Tinelli, Cesare
- SpringerLink (Online service)
Ähnliche Objekte (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