Unifying Splitting

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource, 1 online resource.
Language
Englisch

Bibliographic citation
Unifying Splitting ; volume:67 ; number:2 ; day:28 ; month:4 ; year:2023 ; pages:1-44 ; date:6.2023
Journal of automated reasoning ; 67, Heft 2 (28.4.2023), 1-44, 6.2023

Creator
Ebner, Gabriel
Blanchette, Jasmin
Tourret, Sophie
Contributor
SpringerLink (Online service)

DOI
10.1007/s10817-023-09660-8
URN
urn:nbn:de:101:1-2023092210101948493584
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 11:00 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

Other Objects (12)

Unifying cycles

Unifying cycles

Unifying functional interpretations

Unifying functional interpretations

A unifying process capability metric

Artikel

A unifying process capability metric

Unifying time-to-build theory

Arbeitspapier

Unifying time-to-build theory

Unifying exotic option closed formulas

Arbeitspapier

Unifying exotic option closed formulas

Unifying relations for scattering amplitudes

Unifying relations for scattering amplitudes

Towards a Unifying Visualization Ontology

Towards a Unifying Visualization Ontology

Coset realization of unifying W-algebras

Coset realization of unifying W-algebras

Unifying access to PKCS#11 tokens

zweidimensionales bewegtes Bild

Unifying access to PKCS#11 tokens

Probabilistic linear solvers: a unifying view

Probabilistic linear solvers: a unifying view

Unifying decoherence and the Heisenberg Principle

Unifying decoherence and the Heisenberg Principle

A Unifying Theory of Biological Function

A Unifying Theory of Biological Function

Related objects