Addicted to Proof

Addicted to Proof

Bibliographic Details
Main Author:	Shor, Peter
Format:	Article
Language:	English
Published:	Springer US 2021
Online Access:	https://hdl.handle.net/1721.1/132092

Similar Items

Addicted to Proof
by: Shor, Peter Williston
Published: (2021)

Quantum interactive proofs with short messages
by: Beigi, Salman, et al.
Published: (2020)

Extracting proofs from tabled proof search
by: Miller, Dale., et al.
Published: (2013)

Dealing with proofs
by: Ng, K.H., et al.
Published: (2009)

Commenting Proofs
by: Geiser, James R.
Published: (2004)

Rational proofs
by: Azar, Pablo Daniel, et al.
Published: (2022)

Rational proofs
by: Azar, Pablo Daniel, et al.
Published: (2012)

The Addict in Us all
by: Holton, Richard, et al.
Published: (2014)

Transcriptional Addiction in Cancer
by: Bradner, James E., et al.
Published: (2018)

A labelled sequent calculus for BBI : proof theory and proof search
by: Hóu, Zhé, et al.
Published: (2020)

Heroin addiction: the past and future
by: Robson, Noor Zurani, et al.
Published: (2008)

Are NTU undergraduates addicted to the Internet?
by: Chua Yang Li, Low Poh Choo Peggy
Published: (2014)

MACHINE-ASSISTED PROOFS
by: DAVENPORT, JAMES, et al.
Published: (2021)

Pseudo-deterministic proofs
by: Goldwasser, Shafi, et al.
Published: (2021)

Error Proofing In Manufacturing.
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

Untangling Mechanized Proofs
by: Pit-Claudel, Cl?ment
Published: (2025)

GARCH Proof of Concept
by: Datta, Shoumen
Published: (2008)

More on Proofs of Knowledge
by: Halevi, Shai, et al.
Published: (2023)

Proof-carrying data
by: Chiesa, Alessandro
Published: (2011)

A landmark proof
by: Wilczek, Frank
Published: (2018)

Denotational proof languages
by: Arkoudas, Konstantinos, 1968-
Published: (2013)

Copmutationally Sound Proofs
by: Micali, Silvio
Published: (2023)

Modern Interactive Proofs
by: Holden, Dhiraj
Published: (2022)

Efficient holographic proofs
by: Russell, Alexander Craig
Published: (2007)

Probabilistically checkable proofs
by: Sudan, Madhu
Published: (2010)

Are you a facebook addict? Exploring the relationship of facebook addiction with usage patterns and personality construction.
by: Ng, Wei Jing., et al.
Published: (2013)

Addicted to smartphones: exploring the prevalence of smartphone usage patterns and addiction among undergraduates in South Punjab-Pakistan
by: Bajwa, Ruqia Safdar, et al.
Published: (2022)

Smartphone addiction and loneliness among students
by: Zahirah Eizzaty Zamr, et al.
Published: (2023)

Internet addiction : a review of the research.
by: Sim, Jovena.
Published: (2013)

Sex addiction : current terminologies and perspectives
by: Wong, Li Mian, et al.
Published: (2013)

Addiction Rehabilitation and Structural Family Therapy
by: Shoup, Raymond, et al.
Published: (2019)

Exploratory study of addictive sexual behaviours
by: Lee, Samuel Lye Kiat.
Published: (2008)

No proof vaccine linked to deaths
by: Krishnan, Dhesegaran Bala
Published: (2021)

Zero-Knowledge Proofs of Proximity
by: Berman, Itay, et al.
Published: (2021)

Fair and dynamic proofs of retrievability
by: Nguyen, Ngoc Tram Anh
Published: (2015)

Non-interactive proofs of proximity
by: Gur, Tom, et al.
Published: (2018)

Complexity of semi-algebraic proofs
by: Grigoriev, Dima, et al.
Published: (2013)

Intrusion-proof connections to the internet
by: Neo, Daniel Soo Sim
Published: (2008)