- Location
-
Hannover TIB
- Extent
-
0MB, 00:28:43:13 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Proof Complexity (20w5144) ; (Jan. 2020)
- Event
-
Veröffentlichung
- (who)
-
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
- (when)
-
2020-01-01
- Contributor
-
Kolodziejczyk, Leszek
Nordström, Jakob (Organisation)
Atserias, Albert (Organisation)
Pudlak, Pavel (Organisation)
Santhanam, Rahul (Organisation)
Galesi, Nicola
Thapen, Neil
- DOI
-
10.5446/55840
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- 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
Time of origin
- 2020-01-01
Other Objects (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