zweidimensionales bewegtes Bild
Polynomial Calculus Space and Resolution Width
- Standort
-
Hannover TIB
- Umfang
-
0MB, 00:28:43:13 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Proof Complexity (20w5144) ; (Jan. 2020)
- Ereignis
-
Veröffentlichung
- (wer)
-
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
- (wann)
-
2020-01-01
- Beteiligte Personen und Organisationen
-
Kolodziejczyk, Leszek
Nordström, Jakob (Organisation)
Atserias, Albert (Organisation)
Pudlak, Pavel (Organisation)
Santhanam, Rahul (Organisation)
Galesi, Nicola
Thapen, Neil
- DOI
-
10.5446/55840
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Kolodziejczyk, Leszek
- Nordström, Jakob (Organisation)
- Atserias, Albert (Organisation)
- Pudlak, Pavel (Organisation)
- Santhanam, Rahul (Organisation)
- Galesi, Nicola
- Thapen, Neil
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Entstanden
- 2020-01-01
Ähnliche Objekte (12)
The resolution calculus
White noise calculus and Fock space
Width, Depth, and Space: Tradeoffs between Branching and Dynamic Programming
A Resolution Calculus for Presuppositions
A resolution calculus for modal logics
Complexity of turing machine computations, Course unit 6.. Polynomial space and logarithm space
Localized state space and polynomial filters with applications in electrocardiography
A resolution-based calculus for temporal logics
A resolution-based calculus for temporal logics
Feasible Interpolation for Polynomial Calculus and Sums-of-Squares: Q/A Session C - Paper C2.E
Polynomial space restricted unwind property of an algebra of binary words
Polynomial convexity
The resolution calculus
White noise calculus and Fock space
Width, Depth, and Space: Tradeoffs between Branching and Dynamic Programming
A Resolution Calculus for Presuppositions
A resolution calculus for modal logics
Complexity of turing machine computations, Course unit 6.. Polynomial space and logarithm space
Localized state space and polynomial filters with applications in electrocardiography
A resolution-based calculus for temporal logics
A resolution-based calculus for temporal logics
Feasible Interpolation for Polynomial Calculus and Sums-of-Squares: Q/A Session C - Paper C2.E
Polynomial space restricted unwind property of an algebra of binary words
Polynomial convexity
The resolution calculus
White noise calculus and Fock space
Width, Depth, and Space: Tradeoffs between Branching and Dynamic Programming
A Resolution Calculus for Presuppositions
A resolution calculus for modal logics
Complexity of turing machine computations, Course unit 6.. Polynomial space and logarithm space
Localized state space and polynomial filters with applications in electrocardiography
A resolution-based calculus for temporal logics
A resolution-based calculus for temporal logics
Feasible Interpolation for Polynomial Calculus and Sums-of-Squares: Q/A Session C - Paper C2.E
Polynomial space restricted unwind property of an algebra of binary words