- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-0490
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
On Symmetric Circuits and Fixed-Point Logics ; day:13 ; month:7 ; year:2016 ; pages:1-31
Theory of computing systems ; (13.7.2016), 1-31
- Creator
-
Anderson, Matthew
- Contributor
-
Dawar, Anuj
SpringerLink (Online service)
- DOI
-
10.1007/s00224-016-9692-2
- URN
-
urn:nbn:de:1111-201609045211
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:03 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
- Anderson, Matthew
- Dawar, Anuj
- SpringerLink (Online service)
Other Objects (12)
The structure of fixed-point logics
Notes on multidimensional fixed-point theorems
Semiring Provenance for Fixed-Point Logic
A Fixed-Point Policy-Iteration-Type Algorithm for Symmetric Nonzero-Sum Stochastic Impulse Control Games
Fixed-point oblivious quantum amplitude-amplification algorithm
Fixed-point results for convex orbital operators
Remarks on metric transforms and fixed-point theorems
Bounded model checking for fixed-point digital filters
A Brouwer fixed-point theorem for graph endomorphisms
Regularized Fixed-Point Iterations for Nonlinear Inverse Problems
Fast iterative reverse filters using fixed-point acceleration
A fixed-point problem for theories of meaning
The structure of fixed-point logics
Notes on multidimensional fixed-point theorems
Semiring Provenance for Fixed-Point Logic
A Fixed-Point Policy-Iteration-Type Algorithm for Symmetric Nonzero-Sum Stochastic Impulse Control Games
Fixed-point oblivious quantum amplitude-amplification algorithm
Fixed-point results for convex orbital operators
Remarks on metric transforms and fixed-point theorems
Bounded model checking for fixed-point digital filters
A Brouwer fixed-point theorem for graph endomorphisms
Regularized Fixed-Point Iterations for Nonlinear Inverse Problems
Fast iterative reverse filters using fixed-point acceleration
A fixed-point problem for theories of meaning
The structure of fixed-point logics
Notes on multidimensional fixed-point theorems
Semiring Provenance for Fixed-Point Logic
A Fixed-Point Policy-Iteration-Type Algorithm for Symmetric Nonzero-Sum Stochastic Impulse Control Games
Fixed-point oblivious quantum amplitude-amplification algorithm
Fixed-point results for convex orbital operators
Remarks on metric transforms and fixed-point theorems
Bounded model checking for fixed-point digital filters
A Brouwer fixed-point theorem for graph endomorphisms
Regularized Fixed-Point Iterations for Nonlinear Inverse Problems
Fast iterative reverse filters using fixed-point acceleration